WADT02

Medical abbreviations:
WADT02

16th International Workshop on Algebraic Development Techniques