@article{article, title  = {{Selected papers of the Refinement Workshop Turku (2008)}},

 url = {{}},

 year = {{2011}},

 month = {{1}},

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

 doi = {{10.1016/j.scico.2011.03.003}},

 volume = {{76}},

 journal = {{Science of Computer Programming}},

 issue = {{9}},

 pages = {{737-738}},

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