https://9dok.net/document/y96271gd-ein-maschinenmodell-f-ur-typ-sprachen.html