Algebraic specification for Python