A
[AL92] Martín Abadi and Leslie Lamport. An old-fashioned recipe for real time. In REX'91, Lecture Notes in Computer Science 600, pages 1-27. Springer-Verlag, 1992. 
@inproceedings{rex1991-AL,
  author =              {Abadi, Mart{\'\i}n and Lamport, Leslie},
  title =               {An old-fashioned recipe for real time},
  editor =              {de~Bakker, Jaco W. and Huizing, Cornelis and de
                         Roever, Willem-Paul and Rozenberg, Grzegorz},
  booktitle =           {{R}eal-{T}ime: {T}heory in {P}ractice, {P}roceedings
                         of {REX} {W}orkshop~1991 ({REX}'91)},
  acronym =             {{REX}'91},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {600},
  pages =               {1-27},
  year =                {1992},
  confyear =            {1991},
  confmonth =           {6},
  doi =                 {10.1007/BFb0031985},
}
List of authors