@book{12463,
	author = {Workshop on "Program Specification", Aarhus University, Denmark, Aug. 4-7, 1981 and Staunstrup, J. ; ed.},
	title = {Program specification; proceedings},
	publisher = {Springer-Verlag},
	year = {1982},
	address = {Berlin}
}