Deriving Programs Using Generic Algorithms. - Vladimir R. Yakhnis; Joel A. Farrell; S. S. Shultz (IBM Syst. J., 1994)