Immutable objects for a Java-like language (2007)

by C Haack, E Poll, J Schafer, A Schubert
Venue:In ESOP, volume 4421 of LNCS