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

by M Vardi
Venue:in: Logic of Programs Workshop