Pointfree Factorization of Operation Refinement.

Jos Nuno Oliveira, Csar Jesus Rodrigues

Browse the full FM paper archive.