wanted: "The Role of an Ada Formal Specification"

wanted: "The Role of an Ada Formal Specification"

[van-bc!ubc-cs!destroyer!sol.ctr.columbia.edu!spool.mu.edu!think.com!paper]

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  |
   +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+   +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+

wanted: "The Role of an Ada Formal Specification"

[pa.dec.com!nntpd2.cxo.dec.com!bonmot!wallace]

ivanov@osf.org (Eric Ivanov) writes:
: 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  |
:    +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+   +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+

I am looking for this paper too!  Please post replies to this news group.
Thanks!

Richard Wallace
Digital Equipment Corporation
301 Rockrimmon Blvd. South
CXO2-1/7A
Colorado Springs, CO 80919-2398
(719)548-2792
<wallace@cookie.enet.dec.com>

	"The opinions expressed are my own, Unlce Ken or Uncle Bob
	 may, or may not, agree with me.