@article{article, title = {{Editorial}}, url = {{}}, year = {{2009}}, month = {{2}}, author = {{Aichernig BK and Boiten E and Butler M and Derrick J and Groves L}}, doi = {{10.1007/s00165-008-0100-9}}, volume = {{21}}, journal = {{FORM ASP COMPUT}}, issue = {{1-2}}, pages = {{1-1}}, note = {{Accessed on 2024/12/20}}}