Relating models of polymorphism (1989)

by Jos'e Meseguer
Venue:Computer Science Lab., SRI International