Logics of programs (1990)

by D C Kozen, J Tiuryn
Venue:In Handbook of Theoretical Computer Science, J.van Leeuwen