Programming with Intersection Types and Bounded (1991)

by B C Pierce