Schechter, Martin. “Custom Monotonicity Methods”. Mathematica Scandinavica, vol. 109, no. 1, Sept. 2011, pp. 133-46, https://doi.org/10.7146/math.scand.a-15181.