"SPADES - A Specification and Design System and Its Graphical Interface."

Jochen Ludewig et al. (1985)
a service of Schloss Dagstuhl - Leibniz Center for Informatics