Attempto: Specifications in Controlled Natural Language. - Rolf Schwitter; Bernhard Hamburger; Norbert E. Fuchs (WLP, 1995)