Yingzhou Zhang Baowen Xu A survey of semantic description frameworks for programming languages. 14-30 2004 39 SIGPLAN Notices 3 http://doi.acm.org/10.1145/981009.981013 db/journals/sigplan/sigplan39.html#ZhangX04