Temporal logic as a programming language - Merz, Stephan (1992)