Harold Ossher. A Case Study in Structure Specification: A Grid Description of Scribe. IEEE Trans. Software Eng., 15(11):1397-1416, 1989. [doi]
@article{Ossher89, title = {A Case Study in Structure Specification: A Grid Description of Scribe}, author = {Harold Ossher}, year = {1989}, url = {http://www.computer.org/tse/ts1989/e1397abs.htm}, tags = {case study}, researchr = {https://researchr.org/publication/Ossher89}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {15}, number = {11}, pages = {1397-1416}, }