8	 On The Equivalence and Transformation of Program Schemes
