Temporal logic and state systems by Fred Kröger | Menrva Books | MenrvaBooks