Using Annotations to Make Recursion Equations Behave. - Jerald S. Schwarz (IEEE Trans. Software Eng., 1982)

Shelf Algorithms for Two-Dimensional Packing Problems. - Brenda S. Baker; Jerald S. Schwarz (SIAM J. Comput., 1983)

Treat - An Applicative Code Generator. - Jerald S. Schwarz; Dean Rubine (POPL, 1984)

A C++ Library for Infinite Precision Floating Point. - Jerald S. Schwarz (C++ Conference, 1988)