A simple program whose proof isn’t. In Feijen et al. [11], chapter 27, pages 233– 242. ISBN 0-387-97299-4. LCCN QA76.B326 (1990)

by Donald E Knuth