chapBib.txt

  
  
  References
  
  [BL07]  Berthold, J. and Loogen, R., Visualizing Parallel Functional Program
  Runs  ---  Case  Studies  with the Eden Trace Viewer, in Parallel Computing:
  Architectures, Algorithms and Applications. Proceedings of the International
  Conference ParCo 2007, IOS Press, Advances in Parallel Computing, 15 (2007).
  
  [CKS]  Costantini,  M., Konovalov, A. and Solomon, A., OpenMath --- OpenMath
  functionality           in           GAP,           {GAP4}           package
  (\url{http://www.cs.st-andrews.ac.uk/~alexk/openmath.htm}).
  
  [FHK+a]  Freundt,  S.,  Horn, P., Konovalov, A., Lesseni, S., Linton, S. and
  Roozemond,     D.,     OpenMath     content     dictionary    \tt    scscp1,
  (\url{http://www.win.tue.nl/SCIEnce/cds/scscp1.html}).
  
  [FHK+b]  Freundt,  S.,  Horn, P., Konovalov, A., Lesseni, S., Linton, S. and
  Roozemond,  D., Symbolic Computation Software Composability Protocol (SCSCP)
  specification,                Version               1.3,               2009,
  (\url{http://www.symbolic-computing.org/scscp}).
  
  [FHK+c]  Freundt, S., Horn, P., Konovalov, A., Linton, S. and Roozemond, D.,
  OpenMath           content          dictionary          \tt          scscp2,
  (\url{http://www.win.tue.nl/SCIEnce/cds/scscp2.html}).
  
  [GNO]  Gamble,  G.,  Nickel,  W.  and O'Brien, E., ANUPQ --- ANU p-Quotient,
  {GAP4} package (\url{http://www.math.rwth-aachen.de/~Greg.Gamble/ANUPQ/}).
  
  [LN]  L\"ubeck,  F.  and Neunh\"offer, M., GAPDoc --- A Meta Package for GAP
  Documentation,                         {GAP4}                        package
  (\url{http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc}).
  
  [Neu]  Neunh\"offer,  M., IO --- Bindings for low level C library IO, {GAP4}
  package
  (\url{http://www-groups.mcs.st-and.ac.uk/~neunhoef/Computer/Software/Gap/io.html}).