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