Logics of Programs. Chapter (1990)

by D Kozen, J Tiuryn
Venue:in Handbook of Theoretical Computer Science (North-Holland