Specification and tools for parsing and translating MARS language - View it on GitHub