Symbolic Computation by Edward Green & Serkan Hosten