A framework for presenting transformational derivations. - Paul Philip Boca (1998)