Oscar Waddell and R. Kent Dybvig. "Extending the Scope of Syntactic Abstraction". Conference Record of POPL'99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1999. Available online: ps.