Oliveira JN, Rodrigues C.? 2006.??Pointfree Factorization of Operation Refinement. FM - Formal Methods 2006 . 4085:236?251.