Stephen Alan Bale

The refinement of formal specifications using reusable software components in Ada95