Partielle Auswertung imperativer Sprachen - Meyer, Uwe (1992)