Backhouse, R., Doornbos, H., Glück, R., & van der Woude, J. (2022). Components and acyclicity of graphs. An exercise in combining precision with concision. Journal of Logical and Algebraic Methods in Programming, 124, Article 100730. https://doi.org/10.1016/j.jlamp.2021.100730