An introductory textbook for students of computer science. The book looks at the art of changing efficient algorithms that meets their specifications and discusses the calculational style of programing.