Symbolic Computation door Edward Green & Serkan Hosten