Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem
S. Heuchler, Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016.