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=2.1 required=5.0 tests=BAYES_05,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC 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!seismo!mcvax!ukc!eagle!icdoc!esh
From: esh@doc.ic.ac.uk (Edward Hayes)
Newsgroups: comp.lang.ada,comp.lang.misc,comp.ai
Subject: Re: Automatic implementation of abstract specifications
Message-ID: <476@ivax.doc.ic.ac.uk>
Date: Tue, 14-Jul-87 12:00:32 EDT
Article-I.D.: ivax.476
Posted: Tue Jul 14 12:00:32 1987
Date-Received: Fri, 17-Jul-87 05:59:24 EDT
References: <4661@utah-cs.UUCP> <titan.668> <1337@ogcvax.UUCP> <1798@megaron.arizona.edu>
Reply-To: esh@doc.ic.ac.uk (Edward Hayes)
Organization: Dept. of Computing, Imperial College, London, UK.
Xref: mnetor comp.lang.ada:447 comp.lang.misc:544 comp.ai:657
List-Id: <comp.lang.ada>

I just saw an article giving an inexact reference to an MIT technical report
by MK Srivas, The exact reference (I just happened to have it on my desk) is:

MIT/LCS/TR-276

Automatic Synthesis of Implementations
	   for
  Abstract Data Types from
  Algebraic Specifications

Mandayam K Srivas
June 1982


	- hope this is of help.