@inbook{inbook, title  = {{Relational concurrent refinement - Partial and total frameworks}},

 url = {{}},

 year = {{2016}},

 month = {{4}},

 author = {{Derrick J and Boiten E}},

 pages = {{143-154}},

 note = {{Accessed on 2025/11/27}}}