B. Barroca and V. Amaral, “Asserting the Correctness of Software Language Translations”, eceasst, vol. 50, Jul. 2012.