Metalinguistic Abstraction

Structure and Interpretation of Computer Programs