On the operational semantics of nondeterminism and divergence, Theoret (1996)

by H Erdogmus, R Johnston, M Ferguson
Venue:Comput. Sci