Algebraic Specification of Communication Protocols
scientific article; zbMATH DE number 5485663