Strictness Analysis and Polymorphic Invariance - Abramsky, S (Springer−Verlag, 1986)