1. L. Babai, “Automorphism groups, isomorphism, reconstruction,” in: Handbook of Combinatorics, Vol. 2, Elsevier (1995), pp. 1447–1541.
2. H. Barendregt, The Lambda Calculus: Its Syntax and Semantics, revised edition, North-Holland (1984).
3. D. A. Basin, “Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete,” in: M. E. Stickel (ed.), Proceedings of the 10th International Conference on Automated Deduction, Kaiserslautern, Germany, Lecture Notes in Artificial Intelligence, 449, Springer-Verlag (1990), pp. 251–260.
4. R. Brown, Ph. G. Higgins, and R. Sivera, Nonabelian Algebraic Topology, European Math. Soc. (2011).
5. K. Bruce and G. Longo, “Provable isomorphisms and domain equations in models of typed languages,” in: ACM Symposium on Theory of Computing (STOC 85) (1985), pp. 263–272.