J. H. Barrett

A computerized formal means to reason about components in simulation models and environments. Part II: module development theory

Kevin D. Reilly, Robert M. Hyatt, J. H. Barrett, 1995 .

Modelling displacement correlations in computer simulations of particle-solid collisions

J. H. Barrett, D. P. Jackson, J. H. Barrett, 1977 .

A computerized formal means to reason about components in simulation models and environments: Part I: a logic-based reasoning methodology

Kevin D. Reilly, Robert M. Hyatt, J. H. Barrett, 1995 .

Differential Equations of Non-Integer Order

J. H. Barrett, J. Barrett, 1954, Canadian Journal of Mathematics.