1. Algorithm 141-path matrix;Ingerman;Commun. Assoc. Comp. Mach.,1962
2. A new method of checking the consistency of precedence matrices;Marimont;J. Assoc. Comp. Mach.,1959
3. The application of graphs to the analysis of distribution of loops in a program;Schurmann;Inform. Control,1964
4. A theorem on Boolean matrices;Warshall;J. Assoc. Comp. Mach.,1962