Title: The efficient termination of Ada tasks in a multiprocessor environment
First published: 1987