Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Amt91	Torben Amtoft Hansen: Properties of Unfoldingbased Meta-level Systems. DAIMI-PB 348, March 1991, Computer Science Department~ Aarhus University.
	BKPR89	F.S. de Boer, J.N. Kok, C. Palamidessi and J.J.M.M. Ruttea: From Failure to Success: Comparing a Denotational and a Declara$ive Semantics for Horn Clause Logic. Technical Report CS- R89, Centre for Mathematics and Computer Science~ Amsterdam~ 1989
	BonDan90	Anders Bondorf, Olivier Danvy: Automatic A u$oprojec~ion of Recursive Equations wi~h Global Variables and A bsSrac$ Da~a types. Technical Report no. 90-4, DIKU, University of Copenhagen, Denmark
	BurDar77	R. M. Burstall , John Darlington, A Transformation System for Developing Recursive Programs, Journal of the ACM (JACM), v.24 n.1, p.44-67, Jan. 1977  [doi>10.1145/321992.321996]
	Fra85	Gudmund Frandsen: A Denoiaiional Semantics /or Logic Programming. DAIMI-PB 201, November 1985, Computer Science Department, Aarhus University
	Pal89	Catuscia Palamidessi: Algebraic Properties of Idempoten~ Substitutions. Technical Report TR- 33/89, University of Pisa, 1989.
	PetBur82	Alberto Pettorossi, R.M. Burstall: Deriving very E~icient AlgoriShms for Evaluating Linear Recurrence Relations Using the Program Transforma$ion Technique. Acta Informatica, vol. 18, 1982, pp. 181-206.
	Sch80	William Louis Scherlis, Expression procedures and program derivation, 1980

• Data structures for quadtree approximation and compression Communications of the ACM   28, 9
  Hanan Samet
  
  
• A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
  Kim S. Lee ,  Huizhu Lu ,  D. D. Fisher
  
  
• An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE Design Automation Conference on
  Gwo-Dong Chen ,  Daniel D. Gajski
  
  
• The GemStone object database management system Communications of the ACM   34, 10
  Paul Butterworth ,  Allen Otis ,  Jacob Stein
  
  
• Putting innovation to work: adoption strategies for multimedia communication systems Communications of the ACM   34, 12
  Ellen Francik ,  Susan Ehrlich Rudman ,  Donna Cooper ,  Stephen Levine
  
  

• ACM SIGPLAN Notices
  Volume 26 ,  Issue 9   Sept. 1991