TY - JOUR T1 - Guest Editorial JO - Formal Aspects of Computing UR - https://doi.org/10.1007/s00165-005-0087-4 PY - 2006/01/10 AU - Derrick J AU - Harman M AU - Hierons RM ED - DO - DOI: 10.1007/s00165-005-0087-4 PB - Association for Computing Machinery (ACM) VL - 18 IS - 1 SP - 1 EP - 2 Y2 - 2025/11/05 ER -