Title: The efficient termination of Ada tasks in a distributed environment
First published: 1986