Typing: An Algebraic Specification Perspective (1991)

by J Leszczylowski, M Wirsing, Parameterization Polymorphism
Venue:Proc. Symposium on Theoretical Aspects of Computer Science (LNCS 480