達納·古爾德(英语:Dana Gould) 飾 Tug Purcell John Pollono 飾 Pat Dolan 丹尼爾·羅布克 飾 Nick Bledsoe 安德魯·羅森博格(英语:Andrew Rothenberg) 飾 Eddy Sanderson 理查德·巴拉克 飾 Terry Mandel
Algorithm, Boyer, R. S. (编), Automated Reasoning: Essays in Honor of Woody Bledsoe, Automated Reasoning Series, Dordrecht, The Netherlands: Kluwer Academic