Jean-Raymond Abrial, Stefan Hallerstede. Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundamenta Informaticae, 77(1-2):1-28, 2007. [doi]
@article{AbrialH07,
title = {Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B},
author = {Jean-Raymond Abrial and Stefan Hallerstede},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=77&issue=1&spage=1},
tags = {refinement},
researchr = {https://researchr.org/publication/AbrialH07},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {77},
number = {1-2},
pages = {1-28},
}