David G. Richardson Werner Krandick Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library. 330-343 2005 conf/casc/2005 CASC http://dx.doi.org/10.1007/11555964_28 db/conf/casc/casc2005.html#RichardsonK05