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

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

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

  Introduction to Estelle
  
  Chapter 2
  
  R. L. Tenney
  
  *******************************************************************

  dae-auto.tex:
    simple daemon game - automaton

  dae-est.tex:
    simple daemon game - Estelle specification architecture

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

