Ralph-Johan Back Refinement of Parallel and Reactive Programs. 73-92 1992 NATO ASI PDC https://doi.org/10.1007/978-3-662-02880-3_3 conf/nato/1992pdc db/conf/nato/pdc1992.html#Back92a