On strengthening intuitionistic logic. - Richard Vesley (Notre Dame J. Formal Log., 1963)

On a weakening of Markov's Principle. - Andre Scedrov; Richard Vesley (Arch. Math. Log., 1983)

Realizing Brouwer's Sequences. - Richard Vesley (Ann. Pure Appl. Log., 1996)

A Common Axiom Set for Classical and Intuitionistic Plane Geometry. - Melinda Lombard; Richard Vesley (Ann. Pure Appl. Log., 1998)