On the final coalgebra of automatic sequences - Kupke, C; Rutten, J (CWI Amsterdam, 2011)