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