Machine translation (Springer Netherlands, 1986)