Norbert E. Fuchs Uta Schwertel Rolf Schwitter Attempto Controlled English - Not Just Another Logic Specification Language. 1-20 https://doi.org/10.1007/3-540-48958-4_1 https://www.wikidata.org/entity/Q58169413 1998 conf/lopstr/1998 LOPSTR db/conf/lopstr/lopstr98.html#FuchsSS98