Distributed Systems: Methods And Tools For Specification - Paul (M) ;Siegert (H J)
20