1970.

A Markov Algorithm Interpreter

www.tandfonline.com/doi/abs/10.1080/0020739730040216

In the study of fundamental properties of algorithms, attention is often given to classes of abstract general procedures. Of these, the Markov algorithm has some claims to favour owing to the simplicity of its semantics, the relative power of its basic operations and its independence of numerical concepts. Such a study will generally be assisted by some practical experience in using the methods introduced.