Cunha A, Pinto JS.? 2004.??Point-free Program Transformation.