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

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

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

  Abracadabra Service
  
  Chapter 8
  
  *******************************************************************

  abs-est.tex:
    abracadabra service - Estelle specification architecture

  abs-prim.tex:
    abracadabra service - relationship between primitives

  abs.est:
    abracadabra service - Estelle specification

  abs.lot:
    abracadabra service - LOTOS specification

  abs.sdl:
    abracadabra service - SDL/PR specification
