Zohar Manna Pierre Wolper Synthesis of Communicating Processes from Temporal Logic Specifications. 68-93 1984 6 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/357233.357237 db/journals/toplas/toplas6.html#MannaW84