Ralph-Johan Back Joakim von Wright Refinement Calculus, Part I: Sequential Nondeterministic Programs. 42-66 1989 conf/rex/1989 REX Workshop db/conf/rex/rex89.html#BackW89 https://doi.org/10.1007/3-540-52559-9_60