Parameterized data types do not need highly constrained parameters (1982)

by M A Arbib, E G Manes
Venue:Information and Control