Bruce Johnson Reveling in constraints. 44-48 2009 52 Commun. ACM 9 http://doi.acm.org/10.1145/1562164.1562181 db/journals/cacm/cacm52.html#Johnson09