Jonathan Aldrich, Robert J. Simmons, Key Shin. SASyLF: an educational proof assistant for language theory. In Frank Huch, Adam Parkin, editors, Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008. pages 31-40, ACM, 2008. [doi]
@inproceedings{AldrichSS08, title = {SASyLF: an educational proof assistant for language theory}, author = {Jonathan Aldrich and Robert J. Simmons and Key Shin}, year = {2008}, doi = {10.1145/1411260.1411266}, url = {http://doi.acm.org/10.1145/1411260.1411266}, researchr = {https://researchr.org/publication/AldrichSS08}, cites = {0}, citedby = {0}, pages = {31-40}, booktitle = {Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008}, editor = {Frank Huch and Adam Parkin}, publisher = {ACM}, isbn = {978-1-60558-068-5}, }