Masahiko Sato Takafumi Sakurai Yukiyoshi Kameyama Atsushi Igarashi Calculi of meta-variables. 12-21 2008 2 Frontiers of Computer Science in China 1 http://dx.doi.org/10.1007/s11704-008-0011-1 db/journals/fcsc/fcsc2.html#SatoSKI08