Path: utzoo!attcan!uunet!cs.utexas.edu!samsung!uakari.primate.wisc.edu!sdd.hp.com!hplabs!hpcc01!hpcuhb!hpda!hpcupt1!hpisod2!decot
From: decot@hpisod2.HP.COM (Dave Decot)
Newsgroups: comp.software-eng
Subject: Re: Formal Development of Programs and Proofs
Message-ID: <16520020@hpisod2.HP.COM>
Date: 24 May 90 22:06:25 GMT
References: <2644b5a9.417a@petunia.CalPoly.EDU>
Organization: Hewlett Packard, Cupertino
Lines: 7

> 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