M. B. Smyth
-
On the Specification and Synthesis of Communicating Processes
IEEE Transactions on Software Engineering