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