1. A logic covering undefinedness in program proofs;Barringer;Acta Inform.,1984
2. Partial logic;Blamey,1986
3. Three-valued predicates for software specification and validation;Blikle;Fund. Inform.,1991
4. On the usability of logics which handle partial functions;Cheng,1991