@INPROCEEDINGS(lamport:what-good,
   AUTHOR = "Leslie Lamport",
   TITLE = "What Good is Temporal Logic?",
   oRgAnIzAtIoN = "IFIP",
   BOOKTITLE = "Information Processing 83: Proceedings of the IFIP 9th
                World Congress",
   YEAR = 1983,
   month = Sep,
   editor = "R. E. A. Mason",
   Publisher = "North-Holland",
   pages = "657--668",
   address = "Paris")

@Article{peled:ltl-x,
  author =       {Doron Peled and Thomas Wilke},
  title =        {Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator},
  journal =      {Inf. Proc. Lett.},
  year =         1997,
  volume =    63,
  number =    5,
  pages =     {243-246},
}

