Refinement of Z specifications using reusable software components in Ada. - John Hayward 001; Stephen Bale (TRI-Ada, 1995)