S. J. Goldsack, Kevin Lano, Eugène Dürr. Annealing and Data Decomposition in VDM++. SIGPLAN Notices, 31(4):32-38, 1996.
@article{GoldsackLD96, title = {Annealing and Data Decomposition in VDM++}, author = {S. J. Goldsack and Kevin Lano and Eugène Dürr}, year = {1996}, tags = {data-flow}, researchr = {https://researchr.org/publication/GoldsackLD96}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {31}, number = {4}, pages = {32-38}, }