Temporal Logic From Ancient Ideas to Artificial Intelligence - Øhrstrøm, Peter; Hasle, F. V. Per (Springer Netherlands, 1995)