Peter J. Costa, Ruth Hampton Westlake. An Example of Computer Enhanced Analysis. In Erich Kaltofen, Stephen M. Watt, editors, Computers and Mathematics, Third Computers and Mathematics Conference, MIT, Cambridge, Massachusetts, USA, June 13-17, 1989. pages 100-108, Springer, 1989. [doi]
Abstract is missing.