Title: The refinement of formal specifications using reusable software components in Ada95
First published: 1998