Joseph M. Morris Alexander Bunkenburg A Logic for Reasoning Equationally in the Presence of Partiality. 141-158 1999 34 Sci. Comput. Program. 2 db/journals/scp/scp34.html#MorrisB99