How to Design Programs é um livro publicado em 2001 e escrito por Matthias Felleisen, Robert Bruce Findler, Matthew Flatt e Shriram Krishnamurthi.