Transformational programming with non-deterministic and higher-order constructs - Berghammer, Rudolf 1952- (Bericht / Universität der Bundeswehr München, Fakultät Informatik, 1990)