%T Referemce File Formats
%T Tib: A TeX bibliographic preprocessor
%T A System for Typesetting Mathematics
%T LaTeX: A Document Preparation System
%A Software\ Research\ Associates
%T Software Engineering Automated Tools Index
%T Tbl - A Program to Format Tables
%J Unix Programmer's Manual, Vol 2A
%T Some Applications of Inverted Indexes on the UNIX System
%R Bell Laboratories Computing Science Technical Report 69
%T Principles of Compiler Design
%T The SNOBOL4 Programming Language
%T A Tour through the Island of Elba
%T Program Style, Design, Efficiency,
%T Protection in Operating Systems
%T The Transfer of Information and Authority
%J Proceedings of the 7th SOSP
%T A Survey of Program Testing Issues
%B Research Directions in Software Technology
%T On Synchronization and Security
%B Foundations of Secure Computation
%T Procedures and parameters: An axiomatic approach
%B Symposium on semantics of algorithmic languages
%S Lecture Notes in Mathematics
%C Berlin-Heidelberg-New York
%T A Programming Technique for Software Reliability
%B Symposium on Software Reliability
%T Foundations of Secure Computation
%T Heuristics for Determining Equivalence of Program Mutations
%R Technical Report Number 161
%T Automatic Generation of Test Data for
Recursive Programs Having Simple Errors
%I PhD Thesis, Stanford University
%T A Portable Compiler for the Language C
%T User's Guide for the EXPER Mutation Analysis system
%O (Yale university, memo)
%T Bullitun of the South Dakota Institute of Technology