Eerke A. Boiten 1 2009 21 Formal Asp. Comput. 1-2 http://dx.doi.org/10.1007/s00165-008-0100-9 db/journals/fac/fac21.html#Boiten09