@incollection{Abramsky.19922000,
	title = {Background Computational structures},
	author = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	booktitle = {Handbook of Logic in Computer Science},
	editor = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	publisher = {Clarendon Press},
	volume = {2},
	year = {1992-2000},
	biburl = {http://www.bibsonomy.org/bibtex/26e4d3132f9ae6500dacb40bbda7a42d7/callagialla},
	abstract = {Literaturangaben},
	isbn = {0198537611},
	keywords = {diss }
}