Michael J. C. Gordon, Robin Milner, L. Morris, Malcolm C. Newey, Christopher P. Wadsworth. A Metalanguage for Interactive Proof in LCF. In POPL. pages 119-130, 1978.
@inproceedings{GordonMMNW78,
title = {A Metalanguage for Interactive Proof in LCF},
author = {Michael J. C. Gordon and Robin Milner and L. Morris and Malcolm C. Newey and Christopher P. Wadsworth},
year = {1978},
tags = {C++},
researchr = {https://researchr.org/publication/GordonMMNW78},
cites = {0},
citedby = {0},
pages = {119-130},
booktitle = {POPL},
}