Program Algebra and Thread Algebra Jan A. Bergstra, Inge Bethke, and Alban Ponse University of Amsterdam, Programming Research Group, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands http://www.science.uva.nl/research/prog/ February 16, 2006