International Workshop on Higher-Order Algebra, Logic, and Term Rewriting :Amsterdam, Heering, J., Meinke, K., Möller, B., & Nipkow, T. Higher order algebra, logic, and term rewriting: First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : selected papers. Springer.
Chicago-referens (17:e uppl.)International Workshop on Higher-Order Algebra, Logic, and Term Rewriting :Amsterdam, Jan Heering, Karl Meinke, Bernhard Möller, och Tobias Nipkow. Higher Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : Selected Papers. Berlin [etc.]: Springer.
MLA-referens (8:e uppl.)International Workshop on Higher-Order Algebra, Logic, and Term Rewriting :Amsterdam, et al. Higher Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : Selected Papers. Springer.