Algorithm synthesis : a comparative study - Steier, D. M. (Springer-Verlag, 1989)