Formal systems specification :The RPC-memory specification case study : lecture notes in computer science - Broy, Manfred :Merz, Stephan :Spies, Katharina (Eds) (Springer, 1996)
Keywords: memory : formal system specification