Refinement calculus: a systematic introduction RJ Back, J Wright Springer Science & Business Media, 2012 | 1394 | 2012 |

Decentralization of process nets with centralized control RJR Back, R Kurki-Suonio Distributed Computing 3 (2), 73-87, 1989 | 606 | 1989 |

A calculus of refinements for program derivations RJR Back Acta Informatica 25 (6), 593-624, 1988 | 492 | 1988 |

Refinement calculus, part II: Parallel and reactive programs RJR Back Workshop/school/symposium of the rex project (research and education in …, 1989 | 403 | 1989 |

Distributed cooperation with action systems RJR Back, F Kurki-Suonio ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (4), 513-554, 1988 | 374 | 1988 |

On the correctness of refinement steps in program development RJ Back Department of Computer Science, University of Helsinki, 1978 | 304 | 1978 |

Trace refinement of action systems RJR Back, J von Wright International conference on concurrency theory, 367-384, 1994 | 235 | 1994 |

On correct refinement of programs RJR Back Journal of Computer and System Sciences 23 (1), 49-68, 1981 | 220 | 1981 |

Refinement calculus, part I: Sequential nondeterministic programs RJR Back, J von Wright Workshop/School/Symposium of the REX Project (Research and Education in …, 1989 | 210 | 1989 |

Stepwise refinement of action systems. RJ Back, K Sere Struct. Program. 12 (1), 17-30, 1991 | 178 | 1991 |

Superposition refinement of reactive systems RJR Back, K Sere Formal Aspects of Computing 8 (3), 324-346, 1996 | 145 | 1996 |

Why complicate things? Introducing programming in high school using Python L Grandell, M Peltomäki, RJ Back, T Salakoski Proceedings of the 8th Australasian Conference on Computing Education-Volume …, 2006 | 140 | 2006 |

Stepwise refinement of parallel algorithms RJR Back, K Sere Science of Computer Programming 13 (2-3), 133-180, 1990 | 136 | 1990 |

Refinement concepts formalised in higher order logic RJR Back, J von Wright Formal Aspects of Computing 2 (1), 247-272, 1990 | 125 | 1990 |

Stepwise refinement of action systems RJR Back, K Sere International Conference on Mathematics of Program Construction, 115-138, 1989 | 117 | 1989 |

Duality in specification languages: a lattice-theoretical approach RJR Back, J von Wright Acta Informatica 27 (7), 583-625, 1990 | 96 | 1990 |

A method for refining atomicity in parallel algorithms RJR Back International Conference on Parallel Architectures and Languages Europe, 199-216, 1989 | 95 | 1989 |

Procedural abstraction in the refinement calculus RJ Back Åbo akademi. Departments of Information Processing & Mathematics, 1987 | 85 | 1987 |

Refining atomicity in parallel algorithms RJR Back Reports on Computer Science and Mathematics Ser. A, 1989 | 70 | 1989 |

A simple mass-action model for the eukaryotic heat shock response and its mathematical validation I Petre, A Mizera, CL Hyder, A Meinander, A Mikhailov, RI Morimoto, ... Natural Computing 10 (1), 595-612, 2011 | 69 | 2011 |