J. Nathan Foster, Dimitrios Vytiniotis. A Theory of Featherweight Java in Isabelle/HOL. Archive of Formal Proofs, 2006, 2006. [doi]
@article{FosterV06, title = {A Theory of Featherweight Java in Isabelle/HOL}, author = {J. Nathan Foster and Dimitrios Vytiniotis}, year = {2006}, url = {http://afp.sourceforge.net/entries/FeatherweightJava.shtml}, note = {Formal proof development}, researchr = {https://researchr.org/publication/FosterV06}, cites = {0}, citedby = {0}, journal = {Archive of Formal Proofs}, volume = {2006}, }