@InProceedings{holt-klein:1999:ACL,
  author    = {Alexander Holt  and  Ewan Klein},
  title     = {A semantically-derived subset of English for hardware verification},
  booktitle = {Proceedings of the 37th Annual Meeting of the Association for Computational Linguistics},
  month     = {June},
  year      = {1999},
  address   = {College Park, Maryland, USA},
  publisher = {Association for Computational Linguistics},
  pages     = {451--456},
  url       = {http://www.aclweb.org/anthology/P99-1058},
  doi       = {10.3115/1034678.1034747}
}