Jifeng He Process Simulation and Refinement. 229-241 1989 1 Formal Asp. Comput. 3 db/journals/fac/fac1.html#He89