Pamela Zave. A Distributed Alternative to Finite-State-Machine Specifications. ACM Transactions on Programming Languages and Systems, 7(1):10-36, 1985. [doi]
@article{Zave85, title = {A Distributed Alternative to Finite-State-Machine Specifications}, author = {Pamela Zave}, year = {1985}, doi = {10.1145/2363.2365}, url = {http://doi.acm.org/10.1145/2363.2365}, tags = {state machines}, researchr = {https://researchr.org/publication/Zave85}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {7}, number = {1}, pages = {10-36}, }