Appendix A. Bibliography
Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D. (2007). Compilers: principles, techniques, and tools. 2nd edition. Addison Wesley.
Beck, K., (2002). Test Driven Development: By Example. Addison-Wesley.
Bettini, L., Stoll, D., Völter, M., Colameo, S., (2012). Approaches and Tools for Implementing Type Systems in Xtext. Software Language Engineering. 392-412. Volume 7745 of LNCS. Springer.
Bettini, L., (2013). Implementing Java-like languages in Xtext with Xsemantics. Proceedings of the 28th Annual ACM Symposium on Applied Computing. 1559-1564. ACM.
Bettini, L., (2016). Implementing type systems for the IDE with Xsemantics. Journal of Logical and Algebraic Methods in Programming. 85(5):655-–680. Elsevier.
Brown, D., Levine, J., Mason, T. (1995) lex & yacc. O’Reilly.
Cardelli, L. (1996). Type Systems. ACM Computing Surveys, 28(1):263–264.
Efftinge, S., Eysholdt, M., Köhnlein. J., Zarnekow, S., Hasselbring, W., von Massow...