Bill P. Buckles. Formal module level specifications. 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 138-144, ACM, 1977. [doi]
Abstract is missing.