TITLE     : Squiggles: a tool for the analysis of LOTOS specifications
AUTHOR(S) : Bolognesi T, Caneve M
TYPE      : Conference article
YEAR      : 1989
CODE      : 418254

*** DO NOT EDIT THIS FILE ***