"Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers " - читать интересную книгу автора (Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow)