Thompson's group F is 1-counter graph automatic - Murray Elder; Jennifer Taback (2015)