P.: On communicating finite-state machines (1983)

by D Brand, Zafiropulo
Venue:J. ACM