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.

	1	Edsger W. Dijkstra , W. H. Feijen, A Method of Programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
	2	David Gries, The Science of Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1987
	3	Edward Cohen, Programming in the 1990s: an introduction to the calculation of programs, Springer-Verlag New York, Inc., New York, NY, 1990
	4	Anne Kaldewaij, Programming: the derivation of algorithms, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	5	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	6	David Gries , Fred B. Schneider, A logical approach to discrete math, Springer-Verlag New York, Inc., New York, NY, 1993
	7	Richard Denman , David A. Naumann , Walter Potter , Gary Richter, Derivation of programs for freshmen, ACM SIGCSE Bulletin, v.26 n.1, p.116-120, March 1994
	8	Alain J. Martin, A General Proof Rule for Procedures in Predicate Transformer Semantics, Acta Informatica 20.
	9	Bijlsma, Wiltink, and Matthews, Equivalence of the Gries and Martin Proof Rules for Procedure Calls, Acta informatica 26.
	10	A. Bijlsma , P. A. Matthews , J. G. Wiltink, A sharp proof rule for procedures in wp semantics, Acta Informatica, v.26 n.5, p.409-419, 1989  [doi>10.1007/BF00289144]
	11	Pierre America and Frank de Boer, Proving Total Correctness of Recursive Procedures, CWI report R8904.
	12	David A. Naumann, On the essence of Oberon, Proceedings of the international conference on Programming languages and system architectures, p.313-327, April 1994, Zurich, Switzerland
	13	David A. Naumann, Predicate Transformer Semantics of an Oberon-Like Language, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi, p.467-487, June 06-10, 1994

• 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
  
  
• 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
  
  
• An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE Design Automation Conference on
  Gwo-Dong Chen ,  Daniel D. Gajski
  
  

• ACM SIGCSE Bulletin
  Volume 28 ,  Issue 1   March 1996