281	  Jones, C. B. and Lovert, M. J.  (2010) Semantic Models for a Logic of Partial Functions.  Technical Report. Newcastle University .