https://123dok.net/document/q5m4gv87-formally-derive-parsers-series-steps-starting-inverse-print.html