Lucid - A Formal System for Writing and Proving Programs

Edward A. Ashcroft, William W. Wadge. Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput., 5(3):336-354, 1976.

Abstract

Abstract is missing.