@book{724776,
	title = {Program construction :},
	publisher = {Springer-Verlag,},
	year = {1979.},
	address = {Berlin ;}
}