Maier, Patrick Programming Logics, MPI for Informatics, Max Planck Society;
Maier, P.(2004). Intuitionistic LTL and a New Characterization of Safety and Liveness (MPI-I-2004-2-002). Saarbrücken: Max-Planck-Institut für Informatik.