B. J. McKenzie

A Process Algebraic Approach to Fault-Tolerance

P. Krishnan, B. J. McKenzie, 1992 .

Short note A Control Structure for a Variable Number of Nested Loops

B. J. McKenzie, T. Takaoka, 1983 .

GRASP: General-purpose Relativistic Atomic Structure Package

B. J. McKenzie, Ian P. Grant, P. H. Norrington, 2016 .