On computable numbers with an application to the AlanTuringproblem. - C. F. Huws; James C. Finnis (Artif. Intell. Law, 2017)