Proving sufficient completeness of constructor-based algebraic specifications Conference Paper uri icon