@book{goguen_software_2013,
	title = {Software {Engineering} with {OBJ}: algebraic specification in action},
	volume = {2},
	shorttitle = {Software {Engineering} with {OBJ}},
	publisher = {Springer Science \& Business Media},
	author = {Goguen, Joseph A. and Malcolm, Grant},
	year = {2013},
	note = {tex.ids= goguenSoftwareEngineeringOBJ2013a},
}

{"_id":"fzRr9PGWmyqTcmT7p","bibbaseid":"goguen-malcolm-softwareengineeringwithobjalgebraicspecificationinaction-2013","author_short":["Goguen, J. A.","Malcolm, G."],"bibdata":{"bibtype":"book","type":"book","title":"Software Engineering with OBJ: algebraic specification in action","volume":"2","shorttitle":"Software Engineering with OBJ","publisher":"Springer Science & Business Media","author":[{"propositions":[],"lastnames":["Goguen"],"firstnames":["Joseph","A."],"suffixes":[]},{"propositions":[],"lastnames":["Malcolm"],"firstnames":["Grant"],"suffixes":[]}],"year":"2013","note":"tex.ids= goguenSoftwareEngineeringOBJ2013a","bibtex":"@book{goguen_software_2013,\n\ttitle = {Software {Engineering} with {OBJ}: algebraic specification in action},\n\tvolume = {2},\n\tshorttitle = {Software {Engineering} with {OBJ}},\n\tpublisher = {Springer Science \\& Business Media},\n\tauthor = {Goguen, Joseph A. and Malcolm, Grant},\n\tyear = {2013},\n\tnote = {tex.ids= goguenSoftwareEngineeringOBJ2013a},\n}\n\n","author_short":["Goguen, J. A.","Malcolm, G."],"key":"goguen_software_2013","id":"goguen_software_2013","bibbaseid":"goguen-malcolm-softwareengineeringwithobjalgebraicspecificationinaction-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"book","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["software","engineering","obj","algebraic","specification","action","goguen","malcolm"],"title":"Software Engineering with OBJ: algebraic specification in action","year":2013}