TY  - BOOK
AU  - Hagiya Masami
ED  - International Symposium on Theoretical Aspects of Computer Software( 2nd : 1994 : Sendai,Japan )
ED  - International Symposium on Theoretical Aspects of Computer Software 2nd
TI  - Theoretical aspects of computer software : proceedings
SN  - 3-540-57887-0
U1  - 5.3 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer development
ER  -