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>  <1337@ogcvax.UUCP> <1798@megaron.arizona.edu>
Reply-To: esh@doc.ic.ac.uk (Edward Hayes)
Organization: Dept. of Computing, Imperial College, London, UK.
Lines: 15
Xref: mnetor comp.lang.ada:447 comp.lang.misc:544 comp.ai:657

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.