Roberto Barbuti, Alberto Martelli: Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. Symposium on Programming 1980: 1-16