Generalized Sequential Machine Maps (1970)

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