I had expected to see a more programming language theory flavored formal specification, but it's actually just prose describing the language for industrial conformance purposes. I guess something is better than nothing, but still.