and Jerzy Tiuryn. Logics of Programs (1990)

by Dexter Kozen
Venue:Handbook of Theoretical Computer Science — Formal Models and Semantics