Eerke A. Boiten Michael Butler Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". 263 2006 18 Formal Asp. Comput. 3 http://dx.doi.org/10.1007/s00165-006-0009-0 db/journals/fac/fac18.html#BoitenB06