W. V. Tran-Jørgensen, Peter. “Automated Translation of VDM-SL to JML-Annotated Java”. Technical Report Electronics and Computer Engineering 5, no. 29 (March 9, 2017). Accessed April 23, 2024. https://tidsskrift.dk/ece/article/view/25846.