An equational modeling of asynchronous concurrent programming
scientific article; zbMATH DE number 7365565