How to Design Programs ist ein Fachbuch von Matthias Felleisen, Robert Bruce Findler, Matthew Flatt und Shriram Krishnamurthi.