Synthesis of communicating processes from temporal logic specifications (1984)

by Z Manna, P Wolper
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS