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