Type analysis and data structure selection (1991)

by J Cai, P Facon, F Henglein, R Paige, E Schonberg
Venue:Constructing Programs from Speci