@article{GM92,
author = "J. Goguen and J. Meseguer",
title = {{Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations}},
journal = "Theoretical Computer Science",
volume = "105",
number = 2,
pages = "217-273",
year = 1992}

@Inproceedings{KK94,
author = "M. Kerber and M. Kohlhase",
editor = "A. Bundy",
booktitle = {{12th International Conference on Automated Deduction}},
publisher = "Springer Verlag",
title = {{A Mechanization of Strong Kleene Logic for Partial Functions}},
series =       "LNAI",
volume = "814",
year = "1994",
pages = "371-385"}

@Inproceedings{KK97,
author = "M. Kerber and M. Kohlhase",
booktitle = {{21st Annual German Conference on Artificial Intelligence}},
publisher = "Springer Verlag",
title = {{Mechanising Partiality without Re-Implementation}},
year = "1997",
series =       "LNAI",
volume = "1303",
pages = "123-134"}

@article{FG00,
author = "W. Farmer and J. Guttman",
title = {{A Set Theory with Support for Partial Functions}},
journal = "Logica Studia",
editor = "E. Thijsse and F. Lepage and H. Wansing",
volume = "66",
year = 2000,
number = 1,
pages = "59-78"}

@article{F90,
author = "W. Farmer",
title = {{A partial functions version of Church's simple theory of types}},
journal = "The Journal of Symbolic Logic",
volume = "55",
year = 1990,
number = 3,
pages = "1269-91"}

@article{F95,
author = "S. Feferman",
title = {{Definedness}},
journal = "Erkenntnis",
volume = 43,
pages = "295-320",
year = 1995}

@book{B85,
author = "M. Beeson",
title = {{Foundations of Constructive Mathematics: Metamathematical Studies}},
publisher = "Springer",
year = "1985"} 

@article{F93,
author="W. Farmer",
title="A simple type theory with partial functions and subtypes",
journal="Annals of Pure and Applied Logic",
year=1993,
volume=64,
number=3}

@article{stark98,
 author = {R. St\"{a}rk},
 title = {Why the constant 'undefined'? {L}ogics of partial terms for strict and non-strict functional programming languages},
 journal = {J. Funct. Program.},
 volume = {8},
 number = {2},
 year = {1998},
 pages = {97--129},
 publisher = {Cambridge University Press}
 }


@inproceedings{constable+89,
author="R. Constable and S. Smith",
title={{Partial Objects in Constructive Type Theory}},
booktitle={{Proceedings of the Symposium on Logic in Computer Science}},
pages={183--193},
year="1987"}

@incollection{audebaud91,
author = "P. Audebaud",
title = {{Partial Objects in the Calculus of Constructions}},
booktitle = "Proceedings 6th Annual {IEEE} Symposium on Logic in Computer Science",
pages = "86--95",
year = "1991"}