Anthony I. Wasserman. The evolution of specification techniques. In James S. Ketchel, Harvey Z. Kriloff, H. Blair Burner, Patricia E. Crockett, Robert G. Herriot, George B. Houston, Cathy S. Kitto, editors, Proceedings of the 1977 annual conference, ACM '77, Seattle, Washington, USA, October 16-19, 1977. pages 134-137, ACM, 1977. [doi]
@inproceedings{Wasserman77,
title = {The evolution of specification techniques},
author = {Anthony I. Wasserman},
year = {1977},
doi = {10.1145/800179.810193},
url = {http://doi.acm.org/10.1145/800179.810193},
researchr = {https://researchr.org/publication/Wasserman77},
cites = {0},
citedby = {0},
pages = {134-137},
booktitle = {Proceedings of the 1977 annual conference, ACM '77, Seattle, Washington, USA, October 16-19, 1977},
editor = {James S. Ketchel and Harvey Z. Kriloff and H. Blair Burner and Patricia E. Crockett and Robert G. Herriot and George B. Houston and Cathy S. Kitto},
publisher = {ACM},
isbn = {978-1-4503-3921-6},
}