W. V. Tran-Jørgensen, P. 2017. Automated translation of VDM-SL to JML-annotated Java. Technical Report Electronics and Computer Engineering. 5, 29 (Mar. 2017).