@misc
{TN_libero_mab2,
author = {
Henson, Martin C.
},
title = {
Program development in the constructive set theory TK
},
publisher = {Association for Computing Machinery (ACM)},
isbn = {0934-5043},
isbn = {1433-299X},
keywords = {
Theoretical Computer Science
,
Software
},
year = {1989},
}