* Vincent F. Hendricks, "Thought 2 Talk: A Crash Course in Reflection and Expression", New York: Automatic Press / VIP, 2005, ISBN 87-991013-7-8* R. A. DeMillo, R. J. Lipton and A. J. Perlis, "Social Processes and Proofs of Theorems and Programs", Communications of the ACM, Vol.
* Vincent F. Hendricks, "Thought 2 Talk: A Crash Course in Reflection and Expression", New York: Automatic Press / VIP, 2005, ISBN 87-991013-7-8* R. A. DeMillo, R. J. Lipton and A. J. Perlis, "Social Processes and Proofs of Theorems and Programs", Communications of the ACM, Vol.