@inproceedings{masterman-1984-nature,
    title = "The nature of proof in machine translation",
    author = "Masterman, Margaret",
    booktitle = "Proceedings of the International Conference on Methodology and Techniques of Machine Translation: Processing from words to language",
    month = feb # " 13-15",
    year = "1984",
    address = "Cranfield University, UK",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/1984.bcs-1.6/"
}