Computing with Formal Power SeriesA.C. Norman1975ACM Transactions on Mathematical Software (TOMS)Paper