For Statements with Restricted Enumerations

Stephan Heilbrunner, Lothar Schmitz. For Statements with Restricted Enumerations. In Manfred Paul, Bernard Robinet, editors, International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, Proceedings. Volume 167 of Lecture Notes in Computer Science, pages 145-154, Springer, 1984.

Abstract

Abstract is missing.