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