John Hannan Extended Natural Semantics. 123-152 1993 3 J. Funct. Program. 2 db/journals/jfp/jfp3.html#Hannan93