Erratum: Lucid - A Formal System for Writing and Proving Programs

Edward A. Ashcroft, William W. Wadge. Erratum: Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput., 6(1):200, 1977.

Abstract

Abstract is missing.