Program algebra for Turing-machine programs

الملخص بالإنكليزية