On the homology of small categories and asynchronous transition systems. Husainov, Ahmet A. (2004) Homology, Homotopy and Applications