Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation - Berghammer, Rudolf 1952- (1984)