"Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised " - читать интересную книгу автора (José Luiz Fiadeiro, Pierre-Yves Schobbens)