Models of program logics (1979)

by V R Pratt
Venue:In Proc. 20th IEEE Syrup. on Foundations of Computer Science