TY  - BOOK
AU  - Kobayashi, Naoki. Ed.
AU  - Pierce, Benjamin C. Ed.
TI  - Theoretical Aspects of Computer Software, Proceedings of the 4th International Symposium, Japan, 2001
SN  - 3540427368
CY  - USA
KW  - Theoretical Aspects
KW  - Computer Software
ER  -