Gregor Engels, Udo Pletat, Hans-Dieter Ehrich. An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica, 19:235-253, 1983.
No references recorded for this publication.
No citations of this publication recorded.