Declassification: Transforming Java Programs to Remove Intermediate Classes. - Bernadette Power; Geoff W. Hamilton (SCAM, 2005)