 <DT>ReportB10</DT>
 <DD>Kari J. Nurmela and Patric R. J. Östergård,
  <A HREF="B10abstract.html"><EM>Constructing covering designs by simulated
  annealing</EM></A>,
  January 1993.</DD>

 <DT>ReportB12</DT>
 <DD>Kimmo Varpaaniemi,
  <A HREF="B12abstract.html"><EM>On computing symmetries and stubborn
  sets</EM></A>,
  April 1994.</DD>

 <DT>ReportB13</DT>
 <DD>Kimmo Varpaaniemi, Jaakko Halme, Kari Hiekkanen, and Tino Pyssysalo,
  <A HREF="B13abstract.html"><EM>PROD reference manual</EM></A>,
  August 1995.</DD>

 <DT>ReportB14</DT>
 <DD>Tuomas Aura,
  <A HREF="B14abstract.html"><EM>Modelling the Needham-Schröder authentication
  protocol with high level Petri nets</EM></A>,
  September 1995.</DD>

 <DT>ReportB15</DT>
 <DD>Eero Lassila,
  <A HREF="B15abstract.html"><EM>ReFlEx --- an experimental tool for
  special-purpose processor code generation</EM></A>,
  March 1996.</DD>

 <DT>ReportB18</DT>
 <DD>Tommi Syrjänen,
  <A HREF="B18abstract.html"><EM>Implementation of local grounding for logic
  programs with stable model semantics</EM></A>,
  October 1998.</DD>

 <DT>ReportB19</DT>
 <DD>Marko Mäkelä, Jani Lahtinen, and Leo Ojala,
  <A HREF="B19abstract.html"><EM>Performance analysis of a traffic control
  system using stochastic petri nets</EM></A>,
  December 1998.</DD>

