An implementation of backtracking for programming languages. - Charles J. Prenner; Jay M. Spitzen; Ben Wegbreit (ACM SIGPLAN Notices, 1972)

The Verification and Synthesis of Data Structures. - Jay M. Spitzen; Ben Wegbreit (Acta Informatica, 1974)

Proving Properties of Complex Data Structures. - Ben Wegbreit; Jay M. Spitzen (J. ACM, 1976)

The Specification of Assemblers. - Jay M. Spitzen (IEEE Trans. Software Eng., 1976)

An Example of Hierarchical Design and Proof. - Jay M. Spitzen; Karl N. Levitt; Lawrence Robinson (Commun. ACM, 1978)