Automorphisms of Supermaximal Subspaces. - Rodney G. Downey; Geoffrey R. Hird (J. Symb. Log., 1985)

Towards reuse of verified Ada software. - Geoffrey R. Hird (TRI-Ada, 1990)

Recursive Properties of Relations on Models. - Geoffrey R. Hird (Ann. Pure Appl. Log., 1993)

Reductions for Learning via Queries. - William I. Gasarch; Geoffrey R. Hird (COLT, 1995)

Automata techniques for query inference machines. - William I. Gasarch; Geoffrey R. Hird (Ann. Pure Appl. Log., 2002)