Felleisen, M.; Findler, R. B.; Flatt, M.; Krishnamurthi, S. How to Design Programs: An Introduction to Programming and Computing. edrev 2015.