Ideas, Formulas and Shortcuts for History of Machine Translation