From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_40,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!cmcl2!nrl-cmf!ames!ucbcad!zen!ucbvax!grebyn.COM!karl
From: karl@grebyn.COM (Karl A. Nyberg)
Newsgroups: comp.lang.ada
Subject: How to get the DDC Ada Formal Definition
Message-ID: <8711031151.AA24853@grebyn.com>
Date: Tue, 3-Nov-87 06:51:43 EST
Article-I.D.: grebyn.8711031151.AA24853
Posted: Tue Nov  3 06:51:43 1987
Date-Received: Tue, 10-Nov-87 04:50:38 EST
References: <8@poi.sm.unisys.com>
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

According to a letter I recently received when requesting the Ada FD from
DDC:

	Thank you very much for taking interest in the Ada Formal Defintion
	project. 

	...

	As for the latter document, we are sending you only the extracts
	since the document as a whole is very comprehensive.  Should you,
	however, like  copy of the whole document, we will be very pleased
	to send you one.  Please note then, that we will have to charge you
	approximately:

	USD 510,-

	for copying and mailing.

	signed,

	Kurt W. Hansen
	Dansk Datamatik Center
	Lundtoftevej 1C
	DK-2800 Lyngby
	Denmark

	tel. +45 2-87 26 22

-- Karl --