Persona

Monografia (1970) Recursiveness
Monografia (1974) Automata, languages and machines