A Formal Design for the Lexical and Syntax Analyzer of a Pedagogically Effective Subset of C++. - Muhammad Shoaib Farooq 001; Adnan Abid; Rebecca K. Fox (ICMLA, 2016)