Software Specification and Design with Ada: A Disciplined Approach

Ken Shumate. Software Specification and Design with Ada: A Disciplined Approach. In TRI-Ada. pages 497-589, 1992. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: