Functional interpretation of bar induction by bar recursion W. A. Howard — 1968 Compositio Mathematica
Modelling the interactions of mixtures of organophosphorus insecticides with cholinesterase. Carr, Russell L.; Chambers, Howard W.; Chambers, Janice E.; Oppenheimer, Seth F.; Richardson, Jason R. — 2003 Electronic Journal of Differential Equations (EJDE) [electronic only]