[sidereal]

They're specifications in the K Framework, developed by the same group of folks: http://www.kframework.org/index.php/Main_Page

[mehrdadn]

Thank you!