The Aladdex Operating Systems for the Aladdin Multiprocessor. - Donald G. Krantz; Ron Belt; Steve Gunderson; Belle Shenoy; Mark Vojta (TRI-Ada, 1993)