Books by Guy L. Steele, Jr