Ian J. Hayes, Steve King 0001. Software Specification. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 251-270, ACM / Morgan & Claypool, 2021. [doi]
@incollection{Hayes021,
title = {Software Specification},
author = {Ian J. Hayes and Steve King 0001},
year = {2021},
doi = {10.1145/3477355.3477367},
url = {https://doi.org/10.1145/3477355.3477367},
researchr = {https://researchr.org/publication/Hayes021},
cites = {0},
citedby = {0},
pages = {251-270},
booktitle = {Theories of Programming: The Life and Works of Tony Hoare},
editor = {Cliff B. Jones and Jayadev Misra},
publisher = {ACM / Morgan & Claypool},
isbn = {978-1-4503-8728-6},
}