Conrad Mueller Axiomatic computational model. 29-39 2005 40 SIGPLAN Notices 3 http://doi.acm.org/10.1145/1057474.1057475 db/journals/sigplan/sigplan40.html#Mueller05