Adequate proof principles for invariance and liveness properties of concurrent programs - Manna, Zohar 1939-2018; Pnueli, Amir (1984)