Added article: Macros, call by name, lambda and Jensen's device