Adequate proof principles for invariance and liveness properties of concurrent programs
scientific article; zbMATH DE number 3862419