Computer Programs From the Book "A=B", and Related Programs