The document details a project aimed at increasing student engagement in formal languages through programmed instruction via the Opendsa e-textbook system, incorporating auto-graded exercises and visualizations. It outlines the development process of the e-textbook, which evolved through three stages to improve content delivery and student understanding. Evaluation results indicate that students preferred the programmed instruction format, which significantly enhanced their performance in many topics compared to traditional materials.