Deriving efficient graph algorithms - Reif, John H.; Scherlis, William L. (1982)