A relational calculus for the design of distributed algorithms / Frans Johan Rietman
A relational calculus for the design of distributed algorithms