"Application-Oriented Specifications: Developing the Connection Between ..."

Volkmar H. Haase, Günter R. Koch (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics