The nature of proof in machine translation Margaret Masterman author 1984-feb 13-15 text Proceedings of the International Conference on Methodology and Techniques of Machine Translation: Processing from words to language Cranfield University, UK conference publication masterman-1984-nature https://aclanthology.org/1984.bcs-1.6/ 1984-feb 13-15