Specification and Transformation of Programs