1. Some computer organizations and their effectiveness;Flynn;IEEE Transactions on Computers,1972
2. A single-program-multiple-data computational model for EPEX/FORTRAN;Darema;Parallel Computing,1988
3. F. Schneider, Blueprint for a Science of Cybersecurity, Computing and Information Science Technical Report, Cornell University, NY, USA, May 2011. Also in The Next Wave, vol. 19, No. 2, 2012, pp. 47–57.
4. Hyperproperties;Clarkson;Journal of Computer Security,2010
5. Proving the correctness of multiprocess programs;Lamport;IEEE Transactions on Software Engineering,1977