Oliveira JN.? 2011.??Pointfree Foundations for (Generic) Lossless Decomposition. :64.