Constraint Theory - Friedman, George J.; Phan, Phan (Springer International Publishing, 2017)