Path: utzoo!attcan!uunet!wuarchive!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!uflorida!gatech!mcnc!duke!crm
From: crm@duke.cs.duke.edu (Charlie Martin)
Newsgroups: comp.software-eng
Subject: Re: Program Derivation Textbook Suggestions??
Message-ID: <656187175@romeo.cs.duke.edu>
Date: 17 Oct 90 18:12:56 GMT
References: <1990Oct15.181603.6770@cec1.wustl.edu> <1990Oct16.155455.9429@nmt.edu>
Organization: Duke University Computer Science Dept.; Durham, N.C.
Lines: 6

You might take a look at Carroll Morgan's _Programming from
Specifications_.
-- 
Charlie Martin (...!mcnc!duke!crm, crm@summanulla.mc.duke.edu)
O: NBSR/One University Place/Suite 250/Durham, NC  27707/919-490-1966
H: 13 Gorham Place/Durham, NC 27705/919-383-2256