Partielle Auswertung imperativer Sprachen - Meyer, Uwe (1992)
Giessen, Univ., Diss., 1992