Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model. - Jacques Sevestre; Jacques Brygier (Ada-Europe, 1994)