Ian J. Hayes Steve Dunne Larissa Meinicke Unifying Theories of Programming That Distinguish Nontermination and Abort. 178-194 2010 MPC http://dx.doi.org/10.1007/978-3-642-13321-3_12 conf/mpc/2010 db/conf/mpc/mpc2010.html#HayesDM10