"J. R. L. Allen"