Normal Form Designators

Brian Cantwell Smith is one of the many people who are far smarter than I am. His MIT thesis Procedural Reflection in Programming Languages — which is something else — is how I first became aware of him.