Stream Based Design of Distributed Systems Through Refinement

Paperback