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