@misc{indiciae2dbaf46ca1aa,
  title = {Attempto - From Specifications in Controlled Natural Language towards Executable Specifications},
  author = {Rolf Schwitter and Norbert E. Fuchs},
  year = {1996},
  url = {https://arxiv.org/abs/cmp-lg/9603004},
  note = {Source identifier: cmp-lg/9603004}
}