@article{article, title = {{Relational Concurrent Refinement with Internal Operations}}, url = {{}}, year = {{2007}}, month = {{1}}, author = {{Derrick J and Boiten E}}, doi = {{10.1016/j.entcs.2006.08.043}}, volume = {{187}}, journal = {{Electronic Notes in Theoretical Computer Science}}, pages = {{35-53}}, note = {{Accessed on 2024/12/22}}}