William D. Young

• Living American History Vol. II
• Source readings for American government
• Dp1 : We Are the American People
• List of members
• Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover