A formal system for defining the syntax and semantics of computer languages | lit.salon