"Attempto - From Specifications in Controlled Natural Language towards ..."

Rolf Schwitter, Norbert E. Fuchs (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics