Michael Burrows Stephen N. Freund Janet L. Wiener Run-Time Type Checking for Binary Programs. 90-105 2003 conf/cc/2003 CC http://link.springer.de/link/service/series/0558/bibs/2622/26220090.htm db/conf/cc/cc2003.html#BurrowsFW03