1. An analysis of repeated graph search;Backhouse,2019
2. Data Structures and Algorithms;Aho,1982
3. Closure algorithms and the star-height problem of regular languages;Backhouse,1975
4. Regular algebra applied to path-finding problems;Backhouse;J. Inst. Math. Appl.,1975