Iman Poernomo John N. Crossley Protocols between programs and proofs. 2000 LOPSTR ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-poernomo.ps.Z db/conf/lopstr/lopstr2000.html#PoernomoC00