Barroca, B. and Amaral, V. (2012) “Asserting the Correctness of Software Language Translations”, Electronic Communications of the EASST, 50. doi: 10.14279/tuj.eceasst.50.710.