1982
The completeness of the algebraic specification methods for computable data types
Publication
Publication
Information and Control Issue 3 p. 186- 200
Additional Metadata | |
---|---|
Information and Control | |
Bergstra, J., & Tucker, J. (1982). The completeness of the algebraic specification methods for computable data types. Information and Control, (3), 186–200. |