Deepak Kapur, Mandayam K. Srivas
A Rewrite Rule Based Approach for Synthesizing Abstract Data Types
TAPSOFT, 1985.
@inproceedings{CAAP-1985-KapurS, author = "Deepak Kapur and Mandayam K. Srivas", booktitle = "{Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}", doi = "10.1007/3-540-15198-2_12", isbn = "3-540-15198-2", pages = "188--207", publisher = "{Springer}", title = "{A Rewrite Rule Based Approach for Synthesizing Abstract Data Types}", year = 1985, }