Nancy Giddings, Tim Colburn. An automated software design evaluator. In Richard L. Muller, James J. Pottmyer, editors, Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984. pages 109-115, ACM, 1984. [doi]
Abstract is missing.