Using Context-Free Grammars to Scaffold and Automate Feedback in Precise Mathematical Writing. - Jason Xia; Craig B. Zilles (SIGCSE (1), 2023)