@inproceedings{inproceedings, title  = {{Relational concurrent refinement part II: Internal operations and outputs}},

 url = {{}},

 year = {{2009}},

 month = {{2}},

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

 doi = {{10.1007/s00165-007-0066-z}},

 volume = {{21}},

 journal = {{FORMAL ASPECTS OF COMPUTING}},

 issue = {{1-2}},

 pages = {{65-102}},

 note = {{Accessed on 2024/12/22}}}