B 11 is out of date. Use
<a href="http://saturn.tcs.hut.fi/pub/reports/B13abstract.html">
B 13</a> instead.