"Strong typing of object-oriented languages revisited" - читать интересную книгу автора (Madsen O.L.)