Introductory computer science: the case for a unified view. - J. Stanley Warford (SIGCSE, 1988)

Good pedagogical random number generators. - J. Stanley Warford (SIGCSE, 1992)

Teaching as a logic tool (abstract). - David Gries; Fred B. Schneider; Joan Krone; J. Stanley Warford; J. Peter Weston (SIGCSE, 1995)

An experience teaching formal methods in discrete mathematics. - J. Stanley Warford (ACM SIGCSE Bull., 1995)

BlackBox: a new object-oriented framework for CS1/CS2. - J. Stanley Warford (SIGCSE, 1999)

Computer systems, 3rd Edition. - J. Stanley Warford (Jones and Bartlett Publishers, 2005)

Pep8CPU: a programmable simulator for a central processing unit. - J. Stanley Warford; Ryan Okelberry (SIGCSE, 2007)

The pep/8 memory tracer: visualizing activation records on the run-time stack. - J. Stanley Warford; Chris Dimpfl (SIGCSE, 2010)

A Calculational Deductive System for Linear Temporal Logic. - J. Stanley Warford; David Vega; Scott M. Staley (ACM Comput. Surv., 2021)