https://123dok.net/document/q0575ndl-formalising-executable-specifications-of-low-level-systems.html