McLean, John and C. Meadows, ``The Reliable Specification of Software,'' 
Proc. COMPASS '88, IEEE Press, 1988. 
<P>