Eric S. Roberts Arthur Evans Jr. C. Robert Morgan Edmund M. Clarke Task Management in Ada-A Critical Evaluation for Real-time Multiprocessors. 1019-1051 1981 11 Softw., Pract. Exper. 10 db/journals/spe/spe11.html#RobertsEMC81 http://dx.doi.org/10.1002/spe.4380111004