Finite Transition Systems (1994)

by A Arnold