M. Charikar, и A. Wirth. 45th Symposium on Foundations of Computer Science (FOCS 2004), 17-19 October 2004, Rome, Italy, Proceedings, стр. 54--60. (2004)
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)
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)
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.