John Miles Smith
Diane C. P. Smith
ACM Transactions on Database Systems
Operational specification as the basis for rapid prototyping