@incollection{Abramsky.19922000,
	title = {Semantic 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},
	pages = {Vol. 3},
	publisher = {Clarendon Press},
	year = {1992-2000},
	biburl = {http://www.bibsonomy.org/bibtex/2465d9fef3d59cde9ac5d5d8bb4490f6e/callagialla},
	abstract = {Literaturangaben},
	isbn = {0198537611},
	keywords = {diss }
}