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)
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)
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)
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.