Nystrom, Saraswat, Palsberg, Grothoff, 2008. Constrained types for object-oriented languages, in: . ACM Press.. https://doi.org/10.1145/1449764.1449800