Niels Veerman defends at the Vrije Universiteit Amsterdam his dissertation on Cobol analysis and transformation using The Meta-Environment. His cases include goto elimination and the detection of 'mines' in COBOL source code. See
http://www.cs.vu.nl/~nveerman/research/thesis.pdf. Also see the popular article in the (Dutch) newspaper Computable
http://www.computable.nl/artikel.jsp?id=1839499