AMAST 2000
Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML.

No queries for www.informatik.uni-trier.de/~ley/db/conf/amast/amast2000.html