Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!crdgw1!sunbelt!eaker
From: eaker@sunbelt.crd.ge.com (Charles E Eaker)
Newsgroups: comp.software-eng
Subject: Re: Program Derivation Textbook Suggestions??
Message-ID: <12837@crdgw1.crd.ge.com>
Date: 17 Oct 90 15:07:44 GMT
References: <1990Oct15.181603.6770@cec1.wustl.edu> <1990Oct16.155455.9429@nmt.edu>
Sender: news@crdgw1.crd.ge.com
Organization: General Electric Corporate R&D Center
Lines: 19

In article <1990Oct16.155455.9429@nmt.edu> al@nmt.edu (Al Stavely) writes:
>
>Anyway, I too would appreciate any comments or suggestions from those with
>experience or opinions, and I'll mail or post my opinions of the new books
>if there is interest.
>
I haven't had time to look at them closely, but consider:
	Carroll Morgan, _Programming from Specifications_
		Prentice Hall International 1990
		ISBN 0-13-726225-6

	D. C. Ince, _An Introduction to Discrete Mathematics and Formal
	System Specification_
		Clarendon Press 1988
		ISBN 0-19-859667-7

--
Chuck Eaker / P.O. Box 8, K-1 3C12 / Schenectady, NY 12301 USA
eaker@sungod.crd.ge.com    eaker@crdgw1.UUCP    (518) 387-5964