@InProceedings{SeSoWa08synasc,
  author =       {Alan P. Sexton and Volker Sorge and Stephen M. Watt},
  title =        {Abstract Matrix Arithmetic},
  booktitle =    {Proceedings of the 10th International Symposium on
                  Symbolic and Numeric Algorithms for Scientific
                  Computing (SYNASC)},
  year =         2008,
  address =      {Timisoara, Romania},
  month =        {September 26--29},
  publisher =    {IEEE Computer Society Press},
  url =          {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5204790},
  doi =          {10.1109/SYNASC.2008.85},
  pdf =          {http://www.cs.bham.ac.uk/%7Eaps/research/papers/pdf/SeSoWa-SYNASC08-AbstractMatrixArithmetic.pdf},
}