1. Ernst, E.: gbeta – A Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. PhD thesis, Devise, Department of Computer Science, University of Aarhus, Aarhus, Denmark (June 1999)
2. Lecture Notes in Computer Science;E. Ernst,2003
3. Ernst, E., Ostermann, K., Cook, W.R.: A virtual class calculus. In: Proceedings POPL 2006, Charleston, SC, USA, pp. 270–282. ACM, New York (2006)
4. Lecture Notes in Computer Science;E. Ernst,2001
5. Ernst, E.: Coq proof of soundness for the FJ $_{\mbox{\scriptsize set}}$ calculus (October 2008), http://www.cs.au.dk/~eernst/papers/objsetproof.tgz