Treating partiality in a logic of total functions (1997)

by O Müller, K Slind
Venue:The Computer Journal