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

by Michael A Arbib, Ernest G Manes
Venue:Information and Control