Finite transition systems (1994)

by A Arnold