A Trusted X Window System Server for Trusted Mach. - Jeremy Epstein; Marvin Shugerman (USENIX MACH Symposium, 1990)