Helen Treharne, Steve Schneider
Using a Process Algebra to Control B Operations
IFM, 1999.
@inproceedings{IFM-1999-TreharneS,
author = "Helen Treharne and Steve Schneider",
booktitle = "{Proceedings of the First International Conference on Integrated Formal Methods}",
isbn = "1-85233-107-0",
pages = "437--456",
publisher = "{Springer-Verlag}",
title = "{Using a Process Algebra to Control B Operations}",
year = 1999,
}