https://book.mdco.me/book/New_Computational_Paradigms:_Changing_Conceptions_of_What_is_Computable__Andrew_Hodges_(auth.),_S._Barry_Cooper,_Benedikt_Loewe,_Andrea_Sorbi_(eds.)__2008_English_pdf-2p41