  *******************************************************************

  Using Formal Description Techniques - An Introduction to Estelle,
  LOTOS and SDL
  
  Copyright 1992 John Wiley and Sons Ltd.

  *******************************************************************

  Development with Estelle
  
  Chapter 10
  
  V. Chari
  
  *******************************************************************

  dae-dae.est:
    daemon game daemon - Estelle specification

  dae-play.est:
    daemon game player - Estelle specification

  est-work.tex:
    development with Estelle - operation of the Estelle Work Station
