Structured programming in assembly language. - Andries van Dam; Jens M. Dill; Douglas F. Dixon; David Notkin (ACM SIGCSE Bull., 1976)

A counter-example for "A simpler construction for showing the intrinsically exponential complexity of the circularity problem for attribute grammars". - Jens M. Dill (J. ACM, 1989)