@book{70479,
	author = {Parikh, Rohit,},
	title = {Logics of programs :},
	publisher = {Springer-Verlag,},
	year = {1985},
	address = {Berlin :},
	note = {Papers presented at a conference held at Brooklyn College, June 17-19, 1985}
}