If you want more theory, I recently stumbled across some great lecture materials...

		benrbray on April 17, 2022 \| parent \| context \| favorite \| on: Algorithms and Data Structures – Transition system... If you want more theory, I recently stumbled across some great lecture materials [1] for a course on coalgebra, which is a category-theoretic way of modeling state-based systems, as well as familiar computer science concepts like (co)data types and (co)induction. [1] https://cs.ru.nl/~jrot/coalg18

This is a great find. Thanks.