Edward A. Ashcroft, William W. Wadge. Lucid - A Formal System for Writing and Proving Programs. SIAM Journal on Computing, 5(3):336-354, 1976.
@article{AshcroftW76, title = {Lucid - A Formal System for Writing and Proving Programs}, author = {Edward A. Ashcroft and William W. Wadge}, year = {1976}, tags = {writing}, researchr = {https://researchr.org/publication/AshcroftW76}, cites = {0}, citedby = {0}, journal = {SIAM Journal on Computing}, volume = {5}, number = {3}, pages = {336-354}, }