L
[Lam83] Leslie Lamport. What good is Temporal Logic?. In WCC'83, pages 657-668. North-Holland/IFIP, September 1983. 
@inproceedings{ifipwcc1983-Lam,
  author =              {Lamport, Leslie},
  title =               {What good is Temporal Logic?},
  editor =              {Mason, R. E. A.},
  booktitle =           {{I}nformation {P}rocessing~83~-- {P}roceedings of
                         the 9th {IFIP} {W}orld {C}omputer {C}ongress
                         ({WCC}'83)},
  acronym =             {{WCC}'83},
  publisher =           {North-Holland/IFIP},
  pages =               {657-668},
  year =                {1983},
  month =               sep,
}
List of authors