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