Fred Kröger

• Temporal logic of programs