Algorithm Derivation by Transformations by Micha Sharir