Steve Schneider, Helen Treharne
Changing system interfaces consistently: A new refinement strategy for CSP||B
IFM, 2011.
@article{IFM-J-2009-SchneiderT11,
author = "Steve Schneider and Helen Treharne",
doi = "10.1016/j.scico.2010.08.001",
journal = "{Science of Computer Programming}",
number = 10,
pages = "837--860",
series = "{Lecture Notes in Computer Science}",
title = "{Changing system interfaces consistently: A new refinement strategy for CSP||B}",
volume = 76,
year = 2011,
}