Martin C. Henson. Program Development in the Constructive Set Theory TK. Formal Asp. Comput., 1(2):173-192, 1989.
@article{Henson89, title = {Program Development in the Constructive Set Theory TK}, author = {Martin C. Henson}, year = {1989}, tags = {C++}, researchr = {https://researchr.org/publication/Henson89}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {1}, number = {2}, pages = {173-192}, }