Title: Second International Workshop on the Theory and Practice of Algebraic Specifications