1. Abstract and Concrete Categories – The Joy of Cats;Adámek,1990
2. Digital image compression;Albert,2009
3. Model checking linear-time properties of probabilistic systems;Baier,2009
4. Terminal coalgebras in well-founded set theory;Barr;Theoret. Comput. Sci.,1993
5. Conjugacy and equivalence of weighted automata and functional transducers;Béal,2006