Boleslaw K. Szymanski, Noah S. Prywes, Evan D. Lock, Amir Pnueli. On the scope of static checking in definitional languages. In Richard L. Muller, James J. Pottmyer, editors, Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984. pages 197-207, ACM, 1984. [doi]
Abstract is missing.