Maarten H. van Emden, T. S. E. Maibaum. Equations Compared with Clauses for Specification of Abstract Data Types. In Advances in Data Base Theory. pages 159-193, 1979.
No references recorded for this publication.
No citations of this publication recorded.