The Life and Work of Blaise Pascal - Francis X.J. Coleman (Taylor and Francis, 1986)