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