Softwaretechnik. Methodisches Programmieren im Grossen - Nagl, Manfred (Springer Verlag, 1996)