Tools for algebraic program transformation. - Nicholas Andrew Van Ness Merriam (1995)