Joseph A. Goguen, José Meseguer. Rapid prototyping: in the OBJ executable specification language. 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 75-84, ACM, 1982. [doi]
Abstract is missing.