SLE 2013Safe Specification of Operator Precedence RulesAli Afroozeh, Mark van den Brand, Adrian Johnstone, Elizabeth Scott, Jurgen J. VinjuDOI 10.1007/978-3-319-02654-1_8dblpBibTeXNo abstract available.