Dov M. Gabbay Hans Jürgen Ohlbach Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings ICTL Lecture Notes in Computer Science 827 Springer 1994 3-540-58241-X db/conf/ictl/ictl1994.html