Bard Bloom, Paul T. Keyser, Ian Simmonds, Mark N. Wegman: Ferret: Programming language support for multiple dynamic classification. Comput. Lang. Syst. Struct. 35(3): 306-321 (2009)