Matthew M. Papi, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2007: 809-810