@TechReport{SeSoWa-ORCCA-TR08,
  author =       {Alan P. Sexton and Volker Sorge and Stephen M. Watt},
  title =        {Abstract Matrix Arithmetic},
  institution =  {University of Western Ontario},
  year =         2008,
  type =         {ORCCA Technical Reports},
  number =       {TR-07-01},
  address =      {London, Ontario, Canada},
  month =        {March},
}