@inproceedings{fuchs99attemptoControlled,
    author={Norbert E. Fuchs and Uta Schwertel and Rolf Schwitter},
    title={Attempto Controlled English - Not Just Another Logic Specification Language},
    year={1999},
    booktitle={Logic-Based Program Synthesis and Transformation},
    organization={Eighth International Workshop LOPSTR'98},
    editor={Pierre Flener},
    address={Manchester, UK},
    month={June},
    series={Lecture Notes in Computer Science},
    publisher={Springer},
    number={1559}
}