29	  Fitzgerald, John S and Jones, Cliff B  (2008) The connection between two ways of reasoning about partial functions.  Information Processing Letters, 107  (3-4).   pp. 128-132.      
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>