@book {18433,
	title = {Software Specification: A Comparison of Formal Methods},
	year = {1994},
	month = {1994///},
	publisher = {Intellect Books},
	organization = {Intellect Books},
	keywords = {Computer software, Computer software/ Specifications, Computers / General, Computers / Programming / General, Formal methods (Computer science), software engineering, specifications},
	isbn = {9781567500332},
	author = {Gannon,John D. and Purtilo,James and Zelkowitz, Marvin V}
}
