Y. Onoue, Z. Hu, H. Iwasaki, and M. Takeichi. Algorithmic Languages and Calculi, volume 95 of IFIP Conference Proceedings, page 76-106. Chapman & Hall, (1997)
Y. Xiong, D. Liu, Z. Hu, H. Zhao, M. Takeichi, and H. Mei. ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, page 164--173. New York, NY, USA, ACM, (2007)