On describing the behavior and implementation of distributed systems
scientific article; zbMATH DE number 3688688