TY  - BOOK
AU  - Honsell, Furio (et-al)(Eds.)
TI  - Foundations  of software science and computation structures :Lecture notes in computer science : Proceedings
SN  - 0003540418644
U1  - 004 
PB  - Springer: Tokyo
KW  - computer science :
ER  -