Software Engineering with OBJ: algebraic specification in action. Goguen, J. A. & Malcolm, G. Volume 2 , Springer Science & Business Media, 2013. tex.ids= goguenSoftwareEngineeringOBJ2013a
bibtex   
@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},
}

Downloads: 0