Report on Specification Language