The mechanical transformation of data types (1992)

by P Harrison, H Khoshnevisan
Venue:Comput J