"Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings " - читать интересную книгу автора (Dov M. Gabbay, Hans J. Ohlbach)