1. Foundations of Constructive Mathematics;Beeson,1985
2. S. Feferman, A more perspicuous system for predicativity, in Konstruktionen vs. Positionen I, de Gruyter, Berlin, 1979, pp. 87–139.
3. Reflecting on incompleteness;Feferman;J. Symbolic Logic,1991
4. A new approach to abstract data types, II. Computation on ADTs as ordinary computation;Feferman,1992
5. Computation on abstract data types. The extensional approach, with an application to streams;Feferman;Ann. Pure Appl. Logic,1996