Title: An integrated rapid prototyping environment based on executable specifications
First published: 1993