Alexei Vernitski Can Unbreakable Mean Incomputable? 108-112 2006 49 Comput. J. 1 http://dx.doi.org/10.1093/comjnl/bxh144 db/journals/cj/cj49.html#Vernitski06