A module interface specification language

Edward W. Thompson, Robert F. Bridge. A module interface specification language. In Robert B. Hitchcock Sr., Donald J. Humcke, Stephen A. Szygenda, editors, Proceedings of the 12th Design Automation Conference, DAC '75, Boston, Massachusetts, USA, June 23-25, 1975. pages 42-49, ACM, 1975. [doi]

@inproceedings{ThompsonB75,
  title = {A module interface specification language},
  author = {Edward W. Thompson and Robert F. Bridge},
  year = {1975},
  url = {http://dl.acm.org/citation.cfm?id=809049},
  researchr = {https://researchr.org/publication/ThompsonB75},
  cites = {0},
  citedby = {0},
  pages = {42-49},
  booktitle = {Proceedings of the 12th Design Automation Conference, DAC '75, Boston, Massachusetts, USA, June 23-25, 1975},
  editor = {Robert B. Hitchcock Sr. and Donald J. Humcke and Stephen A. Szygenda},
  publisher = {ACM},
}