A note on the structure of certain predicates concerning the sublanguages of ALGOL 60 Jiří Kopřiva (1965) Kybernetika Similarity:
Some notes on finite state languages and events represented by finite automata using labelled graphs Karel Čulík (1961) Časopis pro pěstování matematiky Similarity: