@book{12459,
	author = {Workshop on "Logic of Programs", ETH Zurich, May-July, 1979 and Engeler, Erwin ; ed.},
	title = {Logic of programs; papers},
	publisher = {Springer-Verlag},
	year = {1981},
	address = {Berlin}
}