Craig Gaskell, Roger Phillips. A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation. In Wilhelm Schäfer, Pere Botella, editors, 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, Proceedings. Volume 989 of Lecture Notes in Computer Science, pages 235-253, Springer, 1995.
Abstract is missing.