Meurig Beynon, Jaratsri Rungrattanaubol, Jane Sinclair. Formal Specification from an Observation-oriented Perspective. J. UCS, 6(4):407-421, 2000. [doi]
@article{BeynonRS99,
title = {Formal Specification from an Observation-oriented Perspective},
author = {Meurig Beynon and Jaratsri Rungrattanaubol and Jane Sinclair},
year = {2000},
url = {http://www.jucs.org/jucs_6_4/formal_specification_from_an},
researchr = {https://researchr.org/publication/BeynonRS99},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {6},
number = {4},
pages = {407-421},
}