International Workshop on the Theory and Practice of Algebraic Specifications (2nd 1997 Amsterdam, Netherlands)