1. McCarthy, J.: A basis for a mathematical theory for computation. In: Braffort, P., Hirschberg, D. (eds.) Computer Programming and Formal Systems, pp. 33–70. North-Holland Publishing Company (1967)
2. Owe, O.: An approach to program reasoning based on a first order logic for partial functions. Technical Report 89, Institute of Informatics, University of Oslo (February 1985)
3. Owe, O.: Partial logics reconsidered: A conservative approach. Formal Aspects of Computing 5, 208–223 (1993)
4. Cheng, J.H.: A Logic for Partial Functions. PhD thesis, University of Manchester (1986)
5. Tennent, R.: A note on undefined expression values in programming logic. Information Processing Letters 24(5) (March 1987)