Ian J. Hayes, Steve Dunne, Larissa Meinicke. Unifying Theories of Programming That Distinguish Nontermination and Abort. In Claude Bolduc, Jules Desharnais, Béchir Ktari, editors, Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings. Volume 6120 of Lecture Notes in Computer Science, pages 178-194, Springer, 2010.
Abstract is missing.