Atsushi Igarashi Benjamin C. Pierce On Inner Classes. 56-89 2002 177 Inf. Comput. 1 http://dx.doi.org/10.1006/inco.2002.3092 db/journals/iandc/iandc177.html#IgarashiP02a