[comp.software-eng] Formal Development of Programs and Proofs

decot@hpisod2.HP.COM (Dave Decot) (05/25/90)

> Disclaimer:  I have no vested interest in the authors mentioned above,
>              other than the belief that if more people read their books,
>              it would be a better world, programming-wise.

May I also recommend _The Elements of Style_, by Strunk and White?  :-)

Dave