McLean, J. ``A Formal Method for the Abstract Specification of
Software,'' Journal of the ACM, vol. 31, no. 3, July 1984.
<a href="1984mclean-jacm.ps">
 PostScript</a>
<P>