Projective Model Completeness. - George S. Sacerdote (J. Symb. Log., 1974)

The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) - George S. Sacerdote; Richard L. Tenney (STOC, 1977)