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

by M Y Vardi
Venue:Proceedings of the Conference on Logic of Programs, volume 193 of LNCS