Asf+Sdf'95: a workshop on Generating Tools from Algebraic Specifications