@inproceedings{burstall_semantics_1979,
	address = {Berlin, Heidelberg},
	title = {The {Semantics} of {CLEAR}, {A} {Specification} {Language}},
	isbn = {978-3-540-10007-2},
	urldate = {2021-04-26},
	booktitle = {Proceedings of the {Abstract} {Software} {Specifications}, 1979 {Copenhagen} {Winter} {School}},
	publisher = {Springer-Verlag},
	author = {Burstall, Rod M. and Goguen, Joseph A.},
	month = jan,
	year = {1979},
	pages = {292--332},
}

{"_id":"zBMu5NSYRGMKZdGwA","bibbaseid":"burstall-goguen-thesemanticsofclearaspecificationlanguage-1979","author_short":["Burstall, R. M.","Goguen, J. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin, Heidelberg","title":"The Semantics of CLEAR, A Specification Language","isbn":"978-3-540-10007-2","urldate":"2021-04-26","booktitle":"Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Burstall"],"firstnames":["Rod","M."],"suffixes":[]},{"propositions":[],"lastnames":["Goguen"],"firstnames":["Joseph","A."],"suffixes":[]}],"month":"January","year":"1979","pages":"292–332","bibtex":"@inproceedings{burstall_semantics_1979,\n\taddress = {Berlin, Heidelberg},\n\ttitle = {The {Semantics} of {CLEAR}, {A} {Specification} {Language}},\n\tisbn = {978-3-540-10007-2},\n\turldate = {2021-04-26},\n\tbooktitle = {Proceedings of the {Abstract} {Software} {Specifications}, 1979 {Copenhagen} {Winter} {School}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Burstall, Rod M. and Goguen, Joseph A.},\n\tmonth = jan,\n\tyear = {1979},\n\tpages = {292--332},\n}\n\n","author_short":["Burstall, R. M.","Goguen, J. A."],"key":"burstall_semantics_1979","id":"burstall_semantics_1979","bibbaseid":"burstall-goguen-thesemanticsofclearaspecificationlanguage-1979","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["semantics","clear","specification","language","burstall","goguen"],"title":"The Semantics of CLEAR, A Specification Language","year":1979}