Finite Transition Systems by Andre Arnold