TY  - RPRT
TI  - Attempto - From Specifications in Controlled Natural Language towards Executable Specifications
AU  - Rolf Schwitter
AU  - Norbert E. Fuchs
PY  - 1996
UR  - https://arxiv.org/abs/cmp-lg/9603004
ID  - cmp-lg/9603004
ER  -