Peter Øhrstrøm: Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts. ICFCA 2009: 66-81