Adequate Proof Principles for Invariance and Liveness (1984)

by Z Manna, A Pnueli
Venue:Properties of Concurrent Programs, Science of Computer Programming