Finite transition systems | lit.salon