Robert Solovay, Volker Strassen: A Fast Monte-Carlo Test for Primality.
84-85, (Erratum: SIAM J. Comput. 7(1): 118 (1978))
K. Aoshima, Masao Iri: Comments on F. Hadlock's Paper: ``Finding a Maximum Cut of a Planar Graph in Polynomial Time''.
86-87, (see: SIAM J. Comput. 4(3): 221-225 (1975))
Edward A. Ashcroft, William W. Wadge: Erratum: Lucid - A Formal System for Writing and Proving Programs.
200, (see: SIAM J. Comput. 5(3): 336-354 (1976))