TY  - BOOK
AU  - Kobayashi, N (et-al)(ed.)
TI  - Theoretical Aspects of computer software :lecture notes in computer science:Proceedings
SN  - 0003540427368
U1  - 004 
PB  - Springer: Tokyo
KW  - computer science
ER  -