Temporal logic : first international conference, ICTL '94 : Bonn, Germany, July 11-14, 1994 : proceedings - Gabbay, Dov M., 1945-; Ohlbach, Hans Jürgen (Lecture notes in computer science ;, 1994)