Project-independent specifications for Catrobat program language - View it on GitHub