Acknowledgements
 

Shirley A.Becker
Boris Beizer
Micheal Deck
P.A.Hausler
Tove Janzon
Richard Linger
Harlan Mills
C.J.Trammell

Cleanroom Software Engineering, Inc
International Business Machines