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.

	CoSc90	J. Coenen & H. Schepers. Notes on Fault- Tolerant System Design I: Formal Specification of a Reliable Disk. Dept. of Math. and Computing Science, Eindhoven University of Technology. To Appear.
	Cris85	F. Cristian. A Rigorous Approach to Fault-Tolerant Programming. IEEE Trans. on Softw. Engin. ; SE-11(1):23-31, 1985.
	HoWi89	J. Hooman & J. Widom. A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing. PARLE '89; LNCS 366.
	JMS 87	Mathai Joseph , Abha Moitra, Proof rules for fault tolerant distributed programs, Science of Computer Programming, v.8 n.1, p.43-67, February 1, 1987  [doi>10.1016/0167-6423(87)90003-7 ]
	Occa88	INMOS Ltd. OCCAM 2 Reference Manual. 1988.
	Schn86	Fred B. Schneider, The State Machine Approach: A Tutorial, Cornell University, Ithaca, NY, 1986
	ScSc83	Richard D. Schlichting , Fred B. Schneider, Fail-stop processors: an approach to designing fault-tolerant computing systems, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.222-238, August 1983  [doi>10.1145/357369.357371]
	ShLa87	A.U. Shankar & S.S. Lam. Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties. Distributed Computing; 2:61-79, 1987.
	ZwLe85	A. Zwarico & I. Lee. Proving a Network of Real-Time Processes Correct. Proc. 11th Real-Time Systems Symp. ; pp. 169-177, 1985.

• 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 conference on Design automation
  Gwo-Dong Chen ,  Daniel D. Gajski