Heitmeyer, C. and McLean, J. ``Abstract Requirements Specification:
A New Approach and Its Application,'' IEEE Transactions on
Software Engineering, vol. 9, no. 5, Sept. 1983.
<P>