@book{724780,
	title = {Program specification :},
	publisher = {Springer-Verlag,},
	year = {1982.},
	address = {Berlin ;}
}