"Recent Trends in Algebraic Development Techniques - 22nd International ..."

Mihai Codescu, Razvan Diaconescu, Ionut Tutu (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics