On the equivalence and transformation of program schemes | Synapse