Constraint Systems in SICP 3.3.5