%0
Generic
%T
Program development in the constructive set theory TK
%A Henson, Martin C.
%I Association for Computing Machinery (ACM)
%@ 0934-5043
%@ 1433-299X
%K Theoretical Computer Science
%K Software
%D 1989
%C Association for Computing Machinery (ACM)