Papers on automata theory and sequential functions

The automata theoretic roots of process algebra.

Large State Machines and Sequential functions 

Classic papers

Hartmanis “Loop free products”

Rabin-Scott Finite Automata and Their Decision Problems