The Logic in Computer Science Column Functions versus Algorithms