Hierarchischer Programmentwurf in der Algebra binaerer Relationen. - Hans Oskar Gerstmann (1981)