https://9dok.net/document/y6elwpw4-vl-registermaschinen-berechenbarkeit-komplexit-at-ws-gerhard-woeginger.html