Tomoyuki Higuchi, Atsushi Ohori: Java bytecode as a typed term calculus. PPDP 2002: 201-211