Gilles Kahn. An Approach to System Correctness. In SOSP. pages 86-94, 1971.
@inproceedings{Kahn71, title = {An Approach to System Correctness}, author = {Gilles Kahn}, year = {1971}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/Kahn71}, cites = {0}, citedby = {0}, pages = {86-94}, booktitle = {SOSP}, }