Canonical finite state machines for distributed systems
scientific article; zbMATH DE number 5647939