Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994 | lit.salon