?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Bryans%2C+Jeremy+W.&rft.aulast=Bryans&rft.aufirst=Jeremy+W.&rft.issue=6991&rft.volume=LNCS&rft.date=October+2011&rft.atitle=Developing+a+Consensus+Algorithm+Using+Stepwise+Refinement&rft.title=Proceedings+of+the+13th+international+conference+on+Formal+methods+and+software+engineering&rft.pages=553-568&rft.genre=article<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>