Verena Huber Dyson

On the decision problem for theories of finite models

Verena Huber Dyson, 1964 .

A family of groups with nice word problems

Verena Huber Dyson, V. H. Dyson, 1974, Journal of the Australian Mathematical Society.