1. H.P. Barendregt. 1984. The Lambda Calculus: Its Syntax and Semantics. North-Holland.
2. Ryan Culpepper and Matthias Felleisen. 2010. Fortifying Macros. In Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP '10). 235--246.
3. Modular object-oriented programming with units and mixins
4. Matthew Flatt. [n. d.]. Binding as Sets of Scopes - Notes on a new model of macro expansion for Racket. Retrieved Oct 06, 2023 from https://www.cs.utah.edu/plt/scope-sets/index.html
5. Binding as sets of scopes