Data structures and program transformation (1990)

by G Malcolm
Venue:Science of Computer Programming