Specifying distributed applications : the limits of formality. - Edward Joseph Fergus (1990)