A functional approach to external graph algorithms
scientific article; zbMATH DE number 1742802