Operational specification as the basis for rapid prototyping
ACM SIGSOFT Software Engineering Notes
Proceedings of the workshop on Rapid prototyping -
Neil M. Goldman
Robert M. Balzer