SPADES - A Specification and Design System and Its Graphical Interface. - Jochen Ludewig; Martin Glinz; Hansjörg Huser; G. Matheis; Hans Matheis; M. F. Schmidt (ICSE, 1985)