P. W. V. Tran-Jørgensen, “Automated translation of VDM-SL to JML-annotated Java”, ECE-TR, vol. 5, no. 29, Mar. 2017.