@inproceedings{holt-klein-1999-semantically,
    title = "A semantically-derived subset of {E}nglish for hardware verification",
    author = "Holt, Alexander  and
      Klein, Ewan",
    booktitle = "Proceedings of the 37th Annual Meeting of the Association for Computational Linguistics",
    month = jun,
    year = "1999",
    address = "College Park, Maryland, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/Add-Cong-Liu-Florida-Atlantic-University-author-id/P99-1058/",
    doi = "10.3115/1034678.1034747",
    pages = "451--456"
}