Generalized sequential machine maps (1970)

by J W Thatcher
Venue:J. Comput. Syst. Sci