MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 1 [made Community Wiki]

On Folk Theorems is an old classic from computer science. Although the title suggests it's about folk theorems in general, it's mostly about the theorem which states, roughly, that programs written in imperative programming languages only need one loop.