Book

Recent Trends in Algebraic Development Techniques

by Andrea Corradini