Martin C. Henson: Program Development in the Constructive Set Theory TK. Formal Aspects Comput. 1(2): 173-192 (1989)