Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation - Berghammer, Rudolf 1952- (1984)
München, Techn. Univ., Diss.
Keywords: Algorithmus; Graphentheorie; Programmtransformation; Entwurf; Hochschulschrift