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 Proceedings of the second annual ACM symposium on Principles of distributed …, 1983 | 615 | 1983 |

A calculus of refinements for program derivations RJR Back Acta Informatica 25, 593-624, 1988 | 506 | 1988 |

Refinement calculus, part II: Parallel and reactive programs RJR Back Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990 | 426 | 1990 |

Correctness preserving program refinements: Proof theory and applications RJ Back (No Title), 1980 | 413 | 1980 |

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

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

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

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

Refinement calculus, part I: Sequential nondeterministic programs RJR Back, J von Wright Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990 | 232 | 1990 |

Why complicate things?: introducing programming in high school using Python L Grandell, M Peltomaki, RJ Back, T Salakoski ACM International Conference Proceeding Series 165, 71-80, 2006 | 185 | 2006 |

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

Superposition refinement of reactive systems RJR Back, K Sere Formal Aspects of Computing 8, 324-346, 1996 | 151 | 1996 |

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

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

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

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

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

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

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, 595-612, 2011 | 78 | 2011 |