Caucal. On the Transition Graphs of Turing Machines. Springer Berlin Heidelberg, 2001, doi:10.1007/3-540-45132-3_11.