Prelim. Proc. 19th International Workshop on Algebraic Development Techniques (WADT 2008)
Book title Buchtitel
Prelim. Proc. 19th International Workshop on Algebraic Development Techniques (WADT 2008)