Temporal logic as a programming language - Merz, Stephan (1992)
Zugl.: München, Univ., Diss., 1992