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

 year = {{2016}},

 month = {{4}},

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

 pages = {{143-154}},

 note = {{Accessed on 2026/08/03}}}