缩写	全称	中文释义
WADT99	14th International Workshop on Algebraic Development Techniques	第14届代数发展技术国际讲习班