Jesper Jonasson

• Reuse of algebraic specifications