John K. Dixon, John McLean, David Lorge Parnas. Rapid prototyping by means of abstract module specifications written as trace axioms. In Stephen L. Squires, Martha A. Branstad, Marvin V. Zelkowitz, editors, Proceedings of the workshop on Rapid Prototyping, Columbia, Maryland, USA, April 19-21, 1982. pages 45-49, ACM, 1982. [doi]
Abstract is missing.