MISC

2003年

Calculi of meta-variables(jointly worked)

Lecture notes in Computer Science

2803,484-497