Automata and formal languages in guarded type theory References: Abel, [2017] "Equational Reasoning about Formal Languages in Coalgebraic Style"