https://9dok.org/document/zkw8x09p-of-computer-command-languages-compositional-interpretation.html