Logics of programs (1990)

by D Kozen, J Tiuryn
Venue:Handbook of Theoretical Computer Science { Formal Models and Semantics