On temporal program verification rules F. Kröger — 1985 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications