Conrad Mueller Towards an axiomatic computational model : reviewed article. 69-75 2005 35 South African Computer Journal db/journals/saj/saj35.html#Mueller05