45	  Spermann, Corinna and Leuschel, Michael  (2008) ProB gets Nauty: Effective Symmetry Reduction for B and Z Models.   In:  Proceedings of TASE 2008.   IEEE Press, pp. 15-22.      
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>