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.5 required=3.0 tests=BAYES_05,FROM_ADDR_WS autolearn=no autolearn_force=no version=3.4.5-pre1 Date: 22 Sep 92 22:30:05 GMT From: pa.dec.com!nntpd2.cxo.dec.com!bonmot!wallace@decwrl.dec.com (Richard Wal lace) Subject: wanted: "The Role of an Ada Formal Specification" Message-ID: <1992Sep22.223005.13007@nntpd2.cxo.dec.com> List-Id: 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 "The opinions expressed are my own, Unlce Ken or Uncle Bob may, or may not, agree with me.