Matthew Love
-
Refinement of Z specifications using reusable software components in Ada
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world