related documents Rapid prototyping by means of abstract module specifications written as trace axioms Conferences
