H.-P. Butzmann An Incomplete Function Space. 365-368 2001 9 Applied Categorical Structures 4 http://dx.doi.org/10.1023/A:1011259013600 db/journals/acs/acs9.html#Butzmann01