Symbolic computation in software science. (January 2019) - Davenport, James Harold; Kutsia, Temur