Transformational programming with non-deterministic and higher-order constructs - Berghammer, Rudolf 1952- (1990)
Zugl.: München, Techn. Univ., Diss.
Keywords: Softwareentwicklung; Graph; Algorithmus; Programmtransformation; Software Engineering; Hochschulschrift