JOHN LAFFLING, Towards High-Precision Machine Translation Based on Contrastive Textology (Berlin-New York 1991)