Structure and Interpretation of Computer Programs (1996)

by H Abelson, G J Sussman