José Luiz Fiadeiro T. S. E. Maibaum Categorical Semantics of Parallel Program Design. 111-138 1997 28 Sci. Comput. Program. 2-3 db/journals/scp/scp28.html#FiadeiroM97