Data structures and program transformation. Sci Comput Program 14 (1990)

by G Malcolm