Q
[QS82] Jean-Pierre Queille and Joseph Sifakis. Specification and verification of concurrent systems in CESAR. In SOP'82, Lecture Notes in Computer Science 137, pages 337-351. Springer-Verlag, April 1982. 
@inproceedings{sop1982-QS,
  author =              {Queille, Jean-Pierre and Sifakis, Joseph},
  title =               {Specification and verification of concurrent systems
                         in {CESAR}},
  editor =              {Dezani{-}Ciancaglini, Mariangiola and Montanari,
                         Ugo},
  booktitle =           {{P}roceedings of the 5th {I}nternational {S}ymposium
                         on {P}rogramming ({SOP}'82)},
  acronym =             {{SOP}'82},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {137},
  pages =               {337-351},
  year =                {1982},
  month =               apr,
  doi =                 {10.1007/3-540-11494-7_22},
}
List of authors