@book{70480,
	author = {Clarke, Edmund, and Logics of Programs Workshop},
	title = {Logics of programs :},
	publisher = {Springer Verlag,},
	year = {1984},
	address = {Berlin :},
	note = {Proceedings of the Logics of Programs Workshop}
}