Paulo Borba, Silvio Romero de Lemos Meira. A System for Translating Executable VDM Specifiactions into Lazy ML. Software: Practice and Experience, 27(3):271-289, 1997.
@article{BorbaM97, title = {A System for Translating Executable VDM Specifiactions into Lazy ML}, author = {Paulo Borba and Silvio Romero de Lemos Meira}, year = {1997}, tags = {laziness, translation}, researchr = {https://researchr.org/publication/BorbaM97}, cites = {0}, citedby = {0}, journal = {Software: Practice and Experience}, volume = {27}, number = {3}, pages = {271-289}, }