@book{236192,
	author = {Rescher, Nicholas. and Urquhart, Alasdair,},
	title = {Temporal logic /},
	publisher = {Springer-Verlag,},
	year = {1971.},
	address = {New York,}
}