Wagon, Stanley, A Modern Circle-Squaring Problem Wagon, Stanley, The Saturation of a Product of Ideals Wainer, S. S., Hierarchies of Number-Theoretic Functions (1969) Wainer, S. S., Lecture Notes: Recursion in a Type Two Object (1974) Wainer, S. S., Some Hierarchies Based on Higher Type Quantification Wainer, S. S. ; Schwichtenberg, H., Infinite Terms and Recursion in Higher Types (1974) Wainer, Stanley S., The 1-Section of a Non-Normal Type-2 Object Wainer, Stan S. ; Normann, Dag, The 1-Section of a Countable Functional (1978) Wang, Hao, A Theory of Constructive Types (1949) Wang, Hao, On Zermelo's and Von Neumann's Axioms for Set Theory (1949)