259	  Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander  (2010) Patterns for Refinement Automation.   In:   Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers.   LNCS  (6286).  Springer, pp. 70-88.  ISBN 978-3-642-17070-6     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>