Jerzy Tiuryn. Logics of programs (1990)

by Dexter Kozen
Venue:In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics