Mike Holcombe On the Holonomy Decomposition of Transformation Semigroups. 99-104 1982 19 Theor. Comput. Sci. db/journals/tcs/tcs19.html#Holcombe82