Automaton introspection (1976)

by R Laing
Venue:Journal of Computer and System Sciences