An object-based algebraic specification environment. - Sula Ma (2001)