I guess this is a whimsical aside/ I looked that up and got this sample of that book: http://www.cs.cornell.edu/courses/CS5860/2011fa/documents/Gries-WhyUseLog

I guess this is a whimsical aside/ I looked that up and got this sample of that book: http://www.cs.cornell.edu/courses/CS5860/2011fa/documents/Gries-WhyUseLogic-Aug25.pdf http://www.cs.cornell.edu/courses/CS5860/2011fa/documents/Gr... Looking up Stepanov's book, landed on his slide deck about the book. Interestingly enough, both are about the remainder algorithm, and Gries' mentions a "large program" of "3000 lines", which reminded me of the other comment and the 3000000 to 30000 figure. [Stepanov's deck: http://stepanovpapers.com/EoP-StanfordEE380.pdf http://stepanovpapers.com/EoP-StanfordEE380.pdf]