Paul Curzon. Tracking Design Changes with Formal Machine - Checked Proof. Comput. J., 38(2):91-100, 1995.
@article{Curzon95:1, title = {Tracking Design Changes with Formal Machine - Checked Proof}, author = {Paul Curzon}, year = {1995}, tags = {design}, researchr = {https://researchr.org/publication/Curzon95%3A1}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {38}, number = {2}, pages = {91-100}, }