International Workshop on Comparing Systems Specification Techniques: What Questions are Prompted by Ones Particular Method of Specification? (1998 : Nantes)