A. N. Clark Formal Basis for the Refinement of Rule Based Transition Systems. 329-354 1996 6 J. Funct. Program. 2 db/journals/jfp/jfp6.html#Clark96