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