Haruna R. Isa, William R. Shockley, Cynthia E. Irvine: A Multi-Threading Architecture for Multilevel Secure Transaction Processing. S&P 1999: 166-180