Kirk W. Cameron 101-103 2009 42 IEEE Computer 1 http://dx.doi.org/10.1109/MC.2009.18 db/journals/computer/computer42.html#Cameron09