2nd International Workshop on the Theory and Practice of Algebraic Specifications: Proceedings of the 2nd International Workshop on the Theory and ... 1997 (electronic Workshops in Computing)