A distributed alternative to finite-state-machine specifications (1985) [pdf] | Heykuki News