@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 2025/07/19}}}