Ralph-Johan Back Joakim von Wright Compositional Action System Refinement. 103-117 2003 15 Formal Asp. Comput. 2-3 http://dx.doi.org/10.1007/s00165-003-0005-6 db/journals/fac/fac15.html#BackW03