Ward Douglas Maurer Partially defined computer instructions and guards. 220-239 2008 72 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2008.06.001 db/journals/scp/scp72.html#Maurer08