W. V. Tran-Jørgensen, Peter. 2017. “Automated Translation of VDM-SL to JML-Annotated Java”. Technical Report Electronics and Computer Engineering 5 (29). https://doi.org/10.7146/ece.v5i29.25846.