Ein objektorientiertes Spezifikations- und Verfeinerungsmodell. - Christoph Frank (1991)