INR: A program for computing finite automata (1986)

by J H Johnson