Cunha A, Pinto JS.? 2005.??Point-free Program Transformation. Fundamenta Informaticae. 66(4):315?352.