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]
Abstract is missing.