Language-independent_specification