1. Constructive Order Types;Crossley;I in Formal Systems and Recursive Functions,1965
2. Combinatorial Functors;Crossley;Ergebnisse der Mathematik und ihrer Grenzebiete,1974
3. Sound Functors;Crossley;ISILC Proof Theory Symposium Proc. Springer Lecture Notes,1975