Benet Devereux

• Finite-state models with multiplicities