Yet another process logic (1984)

by M Y Vardi, P Wolper
Venue:Logics of Programs