Book

Termination of nondeterministic programs

by J. W. de Bakker