TY  - BOOK
AU  - Nielsen, Mogens
AU  - Engberg, Uffe
ED  - International Conference, FOSSACS
TI  - Foundations of software science and computation structures / 
SN  - 3-540-43366-X
U1  - 004 
PY  - 2002///
CY  - Berlin
PB  - Springer
KW  - Computer science
N1  - Includes auther index and lecture notes in computer science
ER  -