publication venue for Rapid prototyping by means of abstract module specifications written as trace axioms 1982
