TY  - BOOK
AU  - Alford M W
TI  - Distributed systems : methods and tools for specification : an advanced course
U1  - 004.368 
PY  - 1985///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Distributed computing
ER  -