Fiadeiro, José Luiz,,Schobbens, Pierre-Yves,.Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 : revised selected papers /.Springer,,c2007..
Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 : revised selected papers /
Fiadeiro, José Luiz,,Schobbens, Pierre-Yves,.Springer,,c2007..
