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, том 4060 из Lecture Notes in Computer Science, стр. 124-149. Springer; Berlin; http://www.springer.de, (2006)
N. Alon, K. Makarychev, Y. Makarychev, и A. Naor. Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, стр. 486--493. (2005)
M. Charikar, и A. Wirth. 45th Symposium on Foundations of Computer Science (FOCS 2004), 17-19 October 2004, Rome, Italy, Proceedings, стр. 54--60. (2004)