1. “Automatic Ada code generation using a model-driven engineering approach,”;Alonso;Lecture Notes in Computer Science,2007
2. J. W. Backus “The FORTRAN automatic coding system,” Proceedings of the Western Joint Computer Conference 1957 188 198
3. “The real-time specification for Java,”;Bollella;IEEE Computer,2000