P. N. Benton Strictness Logic and Polymorphic Invariance. 33-44 1992 conf/lfcs/1992 LFCS db/conf/lfcs/lfcs1992.html#Benton92