On the Synthesis of a Reactive Module.

Amir Pnueli Roni Rosner On the Synthesis of a Reactive Module. 179-190 1989 POPL db/conf/popl/popl89.html#PnueliR89