G
[Gab89] Dov M. Gabbay. The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. In TLS'87, Lecture Notes in Computer Science 398, pages 409-448. Springer-Verlag, 1989. 
@inproceedings{tls1987-Gab,
  author =              {Gabbay, Dov M.},
  title =               {The Declarative Past and Imperative Future:
                         Executable Temporal Logic for Interactive Systems},
  editor =              {Banieqbal, Behnam and Barringer, Howard and Pnueli,
                         Amir},
  booktitle =           {{P}roceedings of the 1st {C}onference on {T}emporal
                         {L}ogic in {S}pecification ({TLS}'87)},
  acronym =             {{TLS}'87},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {398},
  pages =               {409-448},
  year =                {1989},
  confyear =            {1987},
  confmonth =           {4},
}
List of authors