"Object-Oriented System Specification Using Defaults."

Udo W. Lipeck, Stefan Brass (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics