Characteristic formulae for processes with divergence /
Steffen, Bernhard.
Ingólfsdóttir, Anna.
University of Sussex.Computer Science.
Brighton : University of Sussex,
1991.
Cover title.