A calculus of total correctness for communicating processes
scientific article; zbMATH DE number 3763276