Author: Stanley C. Ramsey and J. D. M. Harvey