Control of Non-Terminating Behavior
1995 ◽
pp. 115-136