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