P
[PR89] Amir Pnueli and Roni Rosner. On the Synthesis of a Reactive Module. In POPL'89, pages 179-190. ACM Press, January 1989. 
@inproceedings{popl1989-PR,
  author =              {Pnueli, Amir and Rosner, Roni},
  title =               {On the Synthesis of a Reactive Module},
  booktitle =           {Conference Record of the 16th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'89)},
  acronym =             {{POPL}'89},
  publisher =           {ACM Press},
  pages =               {179-190},
  year =                {1989},
  month =               jan,
}
List of authors