Backhouse, Roland, Doornbos, Henk, Glück, Roland, van der Woude, Jaap, "Components and acyclicity of graphs. An exercise in combining precision with concision", Journal of Logical and Algebraic Methods in Programming, 2022