Symbolic computation with monotone operators. - Florian Lauster; D. Russell Luke; Matthew K. Tam (ACM Commun. Comput. Algebra, 2018)