Jonathan K. Millen. Recent verification work at MITRE. ACM SIGSOFT Software Engineering Notes, 6(3):55, 1981. [doi]
@article{Millen81-0,
title = {Recent verification work at MITRE},
author = {Jonathan K. Millen},
year = {1981},
doi = {10.1145/1010832.1010851},
url = {https://doi.org/10.1145/1010832.1010851},
researchr = {https://researchr.org/publication/Millen81-0},
cites = {0},
citedby = {0},
journal = {ACM SIGSOFT Software Engineering Notes},
volume = {6},
number = {3},
pages = {55},
}