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