John Hannan On Extracting Static Semantics. 157-171 2002 conf/birthday/2002jones The Essence of Computation http://link.springer.de/link/service/series/0558/bibs/2566/25660157.htm db/conf/birthday/jones2002.html#Hannan02