## Jan A. Bergstra, J. V. Tucker

*A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method*

ICALP, 1980.

@inproceedings{ICALP-1980-BergstraT, author = "Jan A. Bergstra and J. V. Tucker", booktitle = "{Proceedings of the Seventh Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-10003-2_61", isbn = "3-540-10003-2", pages = "76--90", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method}", volume = 85, year = 1980, }