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

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

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

  Abracadabra Protocol
  
  Chapter 9
  
  *******************************************************************

  abp-arch.tex:
    abracadabra protocol - architecture

  abp-est.tex:
    abracadabra protocol - Estelle specification architecture

  abp.est:
    abracadabra protocol - Estelle specification

  abp.lot:
    abracadabra protocol - LOTOS specification

  abp.sdl:
    abracadabra protocol - SDL/PR specification
