[fabriceleal]

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 using the usual wall of text.

http://www.kframework.org/index.php/Main_Page