Dorian Petit, Vincent Poirriez, Georges Mariano. Reuse of SML module system for the B language. In Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings. pages 637-649, ECSI, 2004. [doi]
@inproceedings{PetitPM04,
title = {Reuse of SML module system for the B language},
author = {Dorian Petit and Vincent Poirriez and Georges Mariano},
year = {2004},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=651},
tags = {reuse},
researchr = {https://researchr.org/publication/PetitPM04},
cites = {0},
citedby = {0},
pages = {637-649},
booktitle = {Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings},
publisher = {ECSI},
}