[comp.specification] Code to Specifications

chengb@ss9.cps.msu.edu (Dr. Betty Cheng) (06/27/91)

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.