Barroca, B.; Amaral, V. Asserting the Correctness of Software Language Translations. eceasst 2012, 50.