language specification completed