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. |
|