Christian Bauer Alexander Frink Richard Kreckel Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language. 1-12 2002 33 J. Symb. Comput. 1 http://dx.doi.org/10.1006/jsco.2001.0494 db/journals/jsc/jsc33.html#BauerFK02