3 books
Smarts - Shared-Memory Multiprocessor ADA Run Time Supervisor
The Efficient Termination of ADA Tasks in a Multiprocessor Environment
The Efficient Termination of ADA Tasks in a Distributed Environment