Formal derivation of strongly correct concurrent programs
FORMAL DERIVATION OF STRONGLY CORRECT CONCURRENT PROGRAMS
scientific article; zbMATH DE number 3605898