Directed algebraic topology : models of non-reversible worlds - Grandis, Marco (Cambridge, 2009)