The use of Ada in the design of distributed systems