TY  - BOOK
AU  - Broy, Manfred :Merz, Stephan :Spies, Katharina (Eds)
TI  - Formal systems specification :The RPC-memory specification case study : lecture notes in computer science
SN  - 0003540619844
U1  - 004.53 
PB  - Springer
KW  - memory : formal system specification
ER  -