1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats”, Wiley, New York, 1990. Reprinted in Reprint Theory Application Category. vol.17 (2006).
http://katmat.math.uni-bremen.de/acc/acc
2. Facchini, A., Halter-Koch, F.: Projective modules and divisor homomorphisms. J. Algebra Appl. 2, 435–449 (2003)
3. Guba, V.S.: Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems. Mat. Zametki 40, 321–324 (1986). English translation: Math. Notes 40 (1986), 688–690
4. Hall, T.E.: Free products with amalgamation of inverse semigroups. J. Algebra 34, 375–385 (1975)
5. London Mathematical Society Monographs, New Series;JM Howie,1995