Algorithms from ALG II