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