Edward A. Ashcroft, William W. Wadge. Erratum: Lucid - A Formal System for Writing and Proving Programs. SIAM Journal on Computing, 6(1):200, 1977.
@article{AshcroftW77:0, title = {Erratum: Lucid - A Formal System for Writing and Proving Programs}, author = {Edward A. Ashcroft and William W. Wadge}, year = {1977}, tags = {writing}, researchr = {https://researchr.org/publication/AshcroftW77%3A0}, cites = {0}, citedby = {0}, journal = {SIAM Journal on Computing}, volume = {6}, number = {1}, pages = {200}, }