From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_40 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 22 Sep 92 18:49:31 GMT
From: van-bc!ubc-cs!destroyer!sol.ctr.columbia.edu!spool.mu.edu!think.com!paper
boy.osf.org!osf.org!ivanov@ucbvax.Berkeley.EDU  (Eric Ivanov)
Subject: wanted: "The Role of an Ada Formal Specification"
Message-ID: <1992Sep22.184931.6332@osf.org>
List-Id: <comp.lang.ada>

Hi netters,

I am looking for a paper with the above title. If you know pointers
to where to find a copy please reply by email (I don't read this group
usually).

Thanks in advance.

   +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+   +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+
   |          Eric Ivanov          |   | messages:  ivanov@gr.osf.org  |
   |   Institut de Recherche OSF   |   |       ou:  ivanov@ri.osf.fr   |
   |     2 avenue de Vignate       |   |telephone:  (+33) 76.63.48.96  |
   |    38610 GIERES   FRANCE      |   |      fax:  (+33) 76.51.05.32  |
   +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+   +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+