Carl A. Gunter, Elsa L. Gunter, Pamela Zave. Formal software engineering. ACM SIGSOFT Software Engineering Notes, 25(1):54, 2000. [doi]
@article{GunterGZ00,
title = {Formal software engineering},
author = {Carl A. Gunter and Elsa L. Gunter and Pamela Zave},
year = {2000},
doi = {10.1145/340855.340951},
url = {http://doi.acm.org/10.1145/340855.340951},
researchr = {https://researchr.org/publication/GunterGZ00},
cites = {0},
citedby = {0},
journal = {ACM SIGSOFT Software Engineering Notes},
volume = {25},
number = {1},
pages = {54},
}