Formalizing Java-MaC. - Usa Sammapun; Raman Sharykin; Margaret DeLap; Myong Kim; Steve Zdancewic (RV@CAV, 2003)