Equivalent Transformation Rules as Components of Programs | IEEE Conference Publication | IEEE Xplore