?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Iliasov%2C+Alexei&rft.aulast=Iliasov&rft.aufirst=Alexei&rft.date=2010&rft.isbn=978-3-642-17070-6&rft.title=Patterns+for+Refinement+Automation&rft.btitle=+Formal+Methods+for+Components+and+Objects+-+8th+International+Symposium%2C+FMCO+2009%2C+Eindhoven%2C+The+Netherlands%2C+November+4-6%2C+2009.+Revised+Selected+Papers.&rft.genre=bookitem<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>