Peter Naur Understanding Turing's Universal Machine - Personal Style in Program Description. 351-372 1993 36 Comput. J. 4 db/journals/cj/cj36.html#Naur93