C. Pronk, M. Schönhacker: "Formal Definition of Programming Language Standards "; ACM SIGPLAN Notices, 38 (2003), 8; 20 - 21.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404570