The dynamic analysis of committed choice non-deterministic execution /
Trehan, Rajiv.
Wilk, P. F.
University of Edinburgh.Artificial Intelligence Applications Institute.
Edinburgh : Artificial Intelligence Applications Institute, University of Edinburgh,
1988.