N. Alon, K. Makarychev, Y. Makarychev, and A. Naor. Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, page 486--493. (2005)
M. Charikar, and A. Wirth. 45th Symposium on Foundations of Computer Science (FOCS 2004), 17-19 October 2004, Rome, Italy, Proceedings, page 54--60. (2004)
C. McLarty. (2011)cite http://arxiv.org/abs/1102.1773arxiv:1102.1773Comment: Adds the optimality observation: this is the weakest possible foundation for these tools. The exposition is clarified, the set theory better motivated, and some proofs made fuller.
T. Mossakowski. Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060 of Lecture Notes in Computer Science, page 124-149. Springer; Berlin; http://www.springer.de, (2006)