363	  Bryans, Jeremy W.  (2011) Developing a Consensus Algorithm Using Stepwise Refinement.  Proceedings of the 13th international conference on Formal methods and software engineering, LNCS  (6991).   pp. 553-568.      
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>