Robert M. Balzer, Neil M. Goldman, David S. Wile. Operational specification as the basis for rapid prototyping. 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 3-16, ACM, 1982. [doi]
Abstract is missing.