A relational calculus for the design of distributed algorithms door F.J. Rietman