@book{1043,
	author = {Stone, R. G., and Cooke, D. J.},
	title = {Program construction /},
	publisher = {Cambridge University Press,},
	year = {1987.},
	address = {Cambridge [Cambridgeshire] ;},
	note = {Includes index.},
	url = {http://www.loc.gov/catdir/description/cam023/86012954.html}
}