@book{12461,
	author = {Workshop on "Logics of Programs", Yorktown Heights, New York, May 4-6, 1981 and Kozen, Dexter ; ed.},
	title = {Logics of programs; papers},
	publisher = {Springer-Verlag},
	year = {1982},
	address = {Berlin}
}