@book{45505,
	author = {Feijs, L. M. G. and Jonkers, H. B. M.},
	title = {Formal specification and design /},
	publisher = {Cambridge University Press,},
	year = {2005},
	series = {Cambridge tracts in theoretical computer science ;},
	address = {New York :},
	edition = {1st pbk. version},
	note = {Includes index},
	url = {http://www.loc.gov/catdir/enhancements/fy0632/2006273427-t.html}
}