On the adequacy of finite equational methods for data type specifiation
DSpace/Manakin Repository
On the adequacy of finite equational methods for data type specifiation
Bergstra, J.A.; Tucker, J.V.
(1979) SIGPLAN notices : a monthly publication of the Special Interest Group on Programming Languages ; ACM Sigplan Notices, volume 14, issue 11, pp. 13 - 18