Experience with the Normal Semantic Definition of HAL/S. - Terrence W. Pratt; George D. Maydwell (SIGPLAN Symposium on Compiler Construction, 1982)