L
[LP85] Orna Lichtenstein and Amir Pnueli. Checking that Finite State Concurrent Programs Satisfy their Linear Specifiction. In POPL'85, pages 97-107. ACM Press, January 1985. 
@inproceedings{popl1985-LP,
  author =              {Lichtenstein, Orna and Pnueli, Amir},
  title =               {Checking that Finite State Concurrent Programs
                         Satisfy their Linear Specifiction},
  booktitle =           {Conference Record of the 12th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'85)},
  acronym =             {{POPL}'85},
  publisher =           {ACM Press},
  pages =               {97-107},
  year =                {1985},
  month =               jan,
}
List of authors