Title: Some Thoughts on algebraic specification