Program schemata as automata. I

On Ianov's Program Schemata

Journal of the ACM (JACM)

Properties of Programs and the First-Order Predicate Calculus

Journal of the ACM (JACM)

Finite automata and their decision problems

IBM Journal of Research and Development

The correctness of programs

Journal of Computer and System Sciences

On formalised computer programs

Journal of Computer and System Sciences