Milner, Robin (1978), «A Theory of Type Polymorphism in Programming», Journal of Computer and System Sciences17 (3): 348-375, doi:10.1016/0022-0000(78)90014-4.
Liskov, B; Zilles, S (1974). «Programming with abstract data types». ACM SIGPLAN Notices9 (4): 50-59. doi:10.1145/942572.807045.