Algorithms (4th Edition) in GOCL