The ‘Hoare Logic’ and All That (1984)

by L Lamport, F Schneider
Venue:ACM Trans. on Programming Languages and Systems