3 books
From Prototype to Efficient Implementation
The Efficient Termination of ADA Tasks in a Multiprocessor Environment
The Efficient Termination of ADA Tasks in a Distributed Environment