Isomorphism Groups of Automata. - Arthur C. Fleck (J. ACM, 1962)

On the Automorphism Group of an Automaton. - Arthur C. Fleck (J. ACM, 1965)

On the Combinatorial Complexity of Context-free Grammars. - Arthur C. Fleck (IFIP Congress (1), 1971)

Towards a Theory of Data Structures. - Arthur C. Fleck (J. Comput. Syst. Sci., 1971)

S-Semigroups of Automata. - Arthur C. Fleck; Stephen T. Hedetniemi; Robert H. Oehmke (J. ACM, 1972)

An Analysis of Grammars by Their Derivation Sets - Arthur C. Fleck (Inf. Control., 1974)

On the impossibility of content exchange through the by-name parameter transmission mechanism. - Arthur C. Fleck (ACM SIGPLAN Notices, 1976)

Recent Developments in the Theory of Data Structures. - Arthur C. Fleck (Comput. Lang., 1978)

String Pattern Matching in Polynomial Time. - Ken C. Liu; Arthur C. Fleck (POPL, 1979)

Verifying Abstract Data Types with SNOBOL4. - Arthur C. Fleck (Softw. Pract. Exp., 1982)

Formal Semantics and Abstract Properties of String Pattern Operations and Extended Formal Language Description Mechanisms. - Arthur C. Fleck; R. S. Limaye (SIAM J. Comput., 1983)

A Proposal for Comparison of Types in Pascal and Associated Semantic Models. - Arthur C. Fleck (Comput. Lang., 1984)

Structuring FP-Style Functional Programs. - Arthur C. Fleck (Comput. Lang., 1986)

Semantic Specification Using Logic Programs. - Srinivas R. Sataluri; Arthur C. Fleck (NACLP, 1989)

A Case Study Comparison of Four Declarative Programming Languages. - Arthur C. Fleck (Softw. Pract. Exp., 1990)

Formal Models of Computation - The Ultimate Limits of Computing - Arthur C. Fleck (World Scientific, 2001)

Prolog as the first programming language. - Arthur C. Fleck (ACM SIGCSE Bull., 2007)