1. Regular algebra applied to language problems;Backhouse;J. Log. Algebraic Methods Program.,2006
2. Components as Coalgebras;Barbosa,2001
3. Components and acyclicity of graphs. An exercise in combining precision with concision;Backhouse;J. Log. Algebraic Methods Program.,2022
4. Algebra of Programming;Bird,1997