Recent Trends in Algebraic Development Techniques: 15th International Workshop, Wadt 2001 Joint With the Colfi Wg Meeting Genova, Italy, April 1-3, 2001 Selecte

No Synopsis Available