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

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

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

  Development with LOTOS
  
  Chapter 11
  
  J. Quemada, A. Azcorra and S. Pavon

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

  key-auto.tex:
    two-key system - automaton

  key-bbox.lot:
    two-key system - LOTOS black-box specification
    
  key-impl.lot:
    two-key system - LOTOS implementation specification

  key-wbox.lot:
    two-key system - LOTOS white-box specification
    
