Union Types for Object-Oriented Programming. - Atsushi Igarashi; Hideshi Nagira (J. Object Technol., 2007)