James H. Davenport Patrizia M. Gianni Barry M. Trager Scratchpad's View of Algebra II: A Categorical View of Factorization. 32-38 1991 ISSAC http://doi.acm.org/10.1145/120694.120699 db/conf/issac/issac91.html#DavenportGT91