A note on algebraic specification of binary trees
- 1 June 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 15 (6) , 64-67
- https://doi.org/10.1145/947658.947666
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- The algebraic specification of abstract data typesActa Informatica, 1978