State based encapsulation and generics (2004)

by Anindya Banerjee, David A Naumann