A constructive consistency proof of a fragment of set theory. - Jon Pearce (Ann. Pure Appl. Log., 1984)

Annual Meeting of the Association for Symbolic Logic: Denver, 1983. - Carl G. Jockusch Jr.; Richard Laver; J. Donald Monk; Jan Mycielski; Jon Pearce (J. Symb. Log., 1984)

Programming and meta-programming in Scheme. - Jon Pearce (Springer, 1998)

Sharing designer and user perspectives of web site evaluation: a cross-campus collaborative learning experience. - Penny Collings; Jon Pearce (Br. J. Educ. Technol., 2002)

Ping-Pong Governance: Token Locking for Enabling Blockchain Self-governance. - Paul Merrill; Thomas H. Austin; Justin Rietz; Jon Pearce (MARBLE, 2019)