Pierre Wolper Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. 20-33 1982 POPL db/conf/popl/popl82.html#Wolper82 POPL/00001527.PDF