The taming of converse: Reasoning about two-way computations (1985)

by Moshe Y Vardi
Venue:In Logic of Programs