Voisin, Laurent  (2012) More Abstraction.  In: AI meets Formal Software Development, 01-06.07.2012, Schloss Dagstuhl, Germany.     

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>