"Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers" - читать интересную книгу автора (José Luiz Fiadeiro, Pierre-Yves Schobbens)