Programmiermethodik mit ADA - Goos, Gerhard (Springer, 1987)