Formally specifying electronic instruments

Norman M. Delisle, David Garlan. Formally specifying electronic instruments. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 242-248, ACM, 1989. [doi]

@inproceedings{DelisleG89,
  title = {Formally specifying electronic instruments},
  author = {Norman M. Delisle and David Garlan},
  year = {1989},
  doi = {10.1145/75200.75236},
  url = {https://doi.org/10.1145/75200.75236},
  researchr = {https://researchr.org/publication/DelisleG89},
  cites = {0},
  citedby = {0},
  pages = {242-248},
  booktitle = {Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989},
  editor = {Sol J. Greenspan},
  publisher = {ACM},
  isbn = {978-0-89791-305-8},
}