Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!dali.cs.montana.edu!uakari.primate.wisc.edu!samsung!uunet!lll-winken!iggy.GW.Vitalink.COM!widener!netnews.upenn.edu!msuinfo!ss9.cps.msu.edu!chengb
From: chengb@ss9.cps.msu.edu (Dr. Betty Cheng)
Newsgroups: comp.specification
Subject: Code to  Specifications
Message-ID: <1991Jun26.200429.11498@msuinfo.cl.msu.edu>
Date: 26 Jun 91 20:04:29 GMT
Sender: news@msuinfo.cl.msu.edu
Reply-To: chengb@ss9.cps.msu.edu (Dr. Betty Cheng)
Organization: Computer Science, Michigan State University, E. Lansing
Lines: 33



I am looking for references to papers concerning work
in the area of algorithms/tools that construct specifications from
program code.
Thus far, I have a reference to the paper, 
``From Code to Z Specifications''
by P. Breuer, K. Lano, in the 1989 Z User Workshop Proceedings: Springer-Verlag
Workshops in Computer Science.  

Unfortunately, our library does not have this proceedings. I was
wondering if anyone
has a copy of this and could fax or send me a copy of the article.

(FAX #: (517) 336-1061 (preferred)
 Address: Department of Computer Science
	  Michigan State University
	  East Lansing, MI 48824
)

Any other relevant references is greatly appreciated!!

Thanks for any information.

Betty Cheng
Department of Computer Science
Michigan State University

(517) 355-8344
chengb@cps.msu.edu


P.S. I will post a summary, if there is interest.