Text this: 2nd international workshop on the theory and practice of algebraic specifications :