This is great news, now we just need to lobby for the creation of this specification in machine readable files, using something like the K Framework, instead of the usual wall of text. http://www.kframework.org/index.php/Main_Page