"Specification and Design of Software Systems, Conference on Operating ..."

Elöd Knuth, Erich J. Neuhold (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics