Compartmented Mode Workstation: Prototype Highlights. - Jeffrey L. Berger; Jeffrey Picciotto; John P. L. Woodward; Paul T. Cummings (IEEE Trans. Software Eng., 1990)