1. Adding type parameterization to the Java language
2. Eric Allen and Robert Cartwright . 2002 . The Case for Run-Time Types in Generic Java . In Proceedings of the Inaugural Conference on the Principles and Practice of Programming, 2002 and Proceedings of the Second Workshop on Intermediate Representation Engineering for Virtual Machines , 2002 (PPPJ ’02/IRE ’02). National University of Ireland, Maynooth, County Kildare, IRL. 19–24. isbn:0 901519 87 1 Eric Allen and Robert Cartwright. 2002. The Case for Run-Time Types in Generic Java. In Proceedings of the Inaugural Conference on the Principles and Practice of Programming, 2002 and Proceedings of the Second Workshop on Intermediate Representation Engineering for Virtual Machines, 2002 (PPPJ ’02/IRE ’02). National University of Ireland, Maynooth, County Kildare, IRL. 19–24. isbn:0 901519 87 1
3. Christal Baier and Joost P . Katoen . 2008 . Principles of Model Checking. MIT Press , United States. isbn:978-0-262-02649-9 Christal Baier and Joost P. Katoen. 2008. Principles of Model Checking. MIT Press, United States. isbn:978-0-262-02649-9
4. Coherence of type class resolution
5. Characterizing finite Kripke structures in propositional temporal logic