@book{3715,
	author = {Stone, R. G. and Cooke, D. J.},
	title = {Program Construction /},
	publisher = {Cambridge University Press,},
	year = {1987.},
	address = {[S.l.] :},
	url = {http://www.amazon.com/exec/obidos/ASIN/0521318831/chopaconline-20}
}