Hints on test data selection: Help for the practicing programmer
The enforcement of security policies for computation
Applications of a planar separator theorem
18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
Proceedings of the fifth symposium on Operating systems principles - SOSP ’75
Robert Endre Tarjan
Frederick G Sayward
Richard A DeMillo
Anita K. Jones
A hardware architecture for controlling information flow
Mecanismos de Apoio à Modelagem de Conteúdos: Uma Contribuição ao Processo de Desenvolvimento de Módulos Educacionais
A probabilistic algorithm for the post office problem