“Structure and Interpretation of Computer Programs,” Abelson Harold, Sussman Gerald J.
This book is devoted to describing various systems of program syntax, analyzing the transition from a set of algorithms to program code. Considerable space is devoted to a discussion of the set of “elementary programs”