David W. Bustard, Adam C. Winstanley. Making Changes to Formal Specifications: Requirements and an Example. IEEE Trans. Software Eng., 20(8):562-568, 1994. [doi]
@article{BustardW94,
title = {Making Changes to Formal Specifications: Requirements and an Example},
author = {David W. Bustard and Adam C. Winstanley},
year = {1994},
url = {http://www.computer.org/tse/ts1994/e0562abs.htm},
tags = {C++},
researchr = {https://researchr.org/publication/BustardW94},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {20},
number = {8},
pages = {562-568},
}