Attempto - Englisch als (formale) Spezifikationssprache (system description).

Norbert E. Fuchs Uta Schwertel Rolf Schwitter Attempto - Englisch als (formale) Spezifikationssprache (system description). 0- 1997 WLP db/conf/wlp/wlp97.html#FuchsSS97