James W. Thatcher, Eric G. Wagner, Jesse B. Wright. Data Type Specification: Parameterization and the Power of Specification Techniques. In Conference Record of the Tenth Annual ACM Symposium on Theory of Computing, 1-3 May 1978, San Diego, California, USA. pages 119-132, ACM, 1978.
@inproceedings{ThatcherWW78,
title = {Data Type Specification: Parameterization and the Power of Specification Techniques},
author = {James W. Thatcher and Eric G. Wagner and Jesse B. Wright},
year = {1978},
tags = {data-flow},
researchr = {https://researchr.org/publication/ThatcherWW78},
cites = {0},
citedby = {0},
pages = {119-132},
booktitle = {Conference Record of the Tenth Annual ACM Symposium on Theory of Computing, 1-3 May 1978, San Diego, California, USA},
publisher = {ACM},
}