Transformationsbasierte temporallogische Programmierung. - Klaus Spies (Kovač, 1996)