Began a "Specification Language"