Ramon E. Moore Order relations and rigor in computing. 2 2005 conf/sac/2005 SAC http://doi.acm.org/10.1145/1066677.1066680 db/conf/sac/sac2005.html#Moore05