1*42427Ssamples%A Timothy A. Budd 2*42427Ssamples%T Referemce File Formats 3*42427Ssamples%I UATR 82-1 4*42427Ssamples%D 1982 5*42427Ssamples 6*42427Ssamples%A James C. Alexander 7*42427Ssamples%T Tib: A TeX bibliographic preprocessor 8*42427Ssamples%I (draft) 9*42427Ssamples%D 1987 10*42427Ssamples 11*42427Ssamples%A Brian W. Kernighan 12*42427Ssamples%A Lorinda L. Cherry 13*42427Ssamples%T A System for Typesetting Mathematics 14*42427Ssamples%J CACM 15*42427Ssamples%V 18 16*42427Ssamples%N 3 17*42427Ssamples%D MAR 1978 18*42427Ssamples%P 151-156 19*42427Ssamples%K eqn 20*42427Ssamples 21*42427Ssamples%A Donald Knuth 22*42427Ssamples%T The TeXbook 23*42427Ssamples%I ADDISON 24*42427Ssamples%D 1984 25*42427Ssamples%K tex 26*42427Ssamples 27*42427Ssamples%A Leslie Lamport 28*42427Ssamples%T LaTeX: A Document Preparation System 29*42427Ssamples%I ADDISON 30*42427Ssamples%D 1986 31*42427Ssamples%K tex 32*42427Ssamples 33*42427Ssamples%A Software\ Research\ Associates 34*42427Ssamples%T Software Engineering Automated Tools Index 35*42427Ssamples%I S\&RA 36*42427Ssamples%C San Francisco, CA 37*42427Ssamples%D 1982 38*42427Ssamples 39*42427Ssamples%A M. E. Lesk 40*42427Ssamples%T Tbl - A Program to Format Tables 41*42427Ssamples%I Bell Laboratories 42*42427Ssamples%J Unix Programmer's Manual, Vol 2A 43*42427Ssamples 44*42427Ssamples%A M. E. Lesk 45*42427Ssamples%T Some Applications of Inverted Indexes on the UNIX System 46*42427Ssamples%R Bell Laboratories Computing Science Technical Report 69 47*42427Ssamples%D JUN 1978 48*42427Ssamples%K refer 49*42427Ssamples 50*42427Ssamples%A Alfred V. Aho 51*42427Ssamples%A Jeffrey D. Ullman 52*42427Ssamples%T Principles of Compiler Design 53*42427Ssamples%I Addison-Wesley 54*42427Ssamples%D 1977 55*42427Ssamples%K dragon 56*42427Ssamples 57*42427Ssamples%A R. E. Griswold 58*42427Ssamples%A J. F. Poage 59*42427Ssamples%A I. P. Polonsky 60*42427Ssamples%T The SNOBOL4 Programming Language 61*42427Ssamples%I PRHALL 62*42427Ssamples%D second edition 1971 63*42427Ssamples 64*42427Ssamples%A R. Colt Hoare 65*42427Ssamples%T A Tour through the Island of Elba 66*42427Ssamples%I (no listed publisher) 67*42427Ssamples%C London 68*42427Ssamples%D 1814 69*42427Ssamples 70*42427Ssamples%A Dennie Van\ Tassel 71*42427Ssamples%T Program Style, Design, Efficiency, 72*42427Ssamples%I PRHALL 73*42427Ssamples%D 1978 74*42427Ssamples%W tab 75*42427Ssamples%K testing debugging 76*42427Ssamples 77*42427Ssamples%A M. A. Harrison 78*42427Ssamples%A W. L. Ruzzo 79*42427Ssamples%A J. D. Ullman 80*42427Ssamples%T Protection in Operating Systems 81*42427Ssamples%J CACM 82*42427Ssamples%V 19 83*42427Ssamples%N 8 84*42427Ssamples%P 461-471 85*42427Ssamples%D AUG 1976 86*42427Ssamples%K hru 87*42427Ssamples 88*42427Ssamples%A M. Bishop 89*42427Ssamples%A L. Snyder 90*42427Ssamples%T The Transfer of Information and Authority 91*42427Ssamplesin a Protection System 92*42427Ssamples%J Proceedings of the 7th SOSP 93*42427Ssamples%P 45-54 94*42427Ssamples%D 1979 95*42427Ssamples 96*42427Ssamples%A John B. Goodenough 97*42427Ssamples%T A Survey of Program Testing Issues 98*42427Ssamples%B Research Directions in Software Technology 99*42427Ssamples%E Peter Wegner 100*42427Ssamples%I MIT Press 101*42427Ssamples%P 316-340 102*42427Ssamples%D 1979 103*42427Ssamples 104*42427Ssamples%A R. J. Lipton 105*42427Ssamples%A L. Snyder 106*42427Ssamples%T On Synchronization and Security 107*42427Ssamples%E R. A. DeMillo 108*42427Ssamples%E D. P. Dobkin 109*42427Ssamples%E A. K. Jones 110*42427Ssamples%E R. J. Lipton 111*42427Ssamples%B Foundations of Secure Computation 112*42427Ssamples%P 367-388 113*42427Ssamples%I ACPRESS 114*42427Ssamples%D 1978 115*42427Ssamples 116*42427Ssamples%A C.A.R. Hoare 117*42427Ssamples%T Procedures and parameters: An axiomatic approach 118*42427Ssamples%B Symposium on semantics of algorithmic languages 119*42427Ssamples%E E. Engeler 120*42427Ssamples%P 102-116 121*42427Ssamples%S Lecture Notes in Mathematics 122*42427Ssamples%V 188 123*42427Ssamples%I Springer-Verlag 124*42427Ssamples%C Berlin-Heidelberg-New York 125*42427Ssamples%D 1971 126*42427Ssamples 127*42427Ssamples%A A. Girard 128*42427Ssamples%A J-C Rault 129*42427Ssamples%T A Programming Technique for Software Reliability 130*42427Ssamples%B Symposium on Software Reliability 131*42427Ssamples%I IEEE 132*42427Ssamples%C Montvale, New Jersey 133*42427Ssamples%D 1977 134*42427Ssamples%O (Cited in Glib [32]) 135*42427Ssamples 136*42427Ssamples%E R. A. DeMillo 137*42427Ssamples%E D. P. Dobkin 138*42427Ssamples%E A. K. Jones 139*42427Ssamples%E R. J. Lipton 140*42427Ssamples%T Foundations of Secure Computation 141*42427Ssamples%I ACPRESS 142*42427Ssamples%D 1978 143*42427Ssamples%K book 144*42427Ssamples 145*42427Ssamples%A T. A. Budd 146*42427Ssamples%T An APL Complier 147*42427Ssamples%R UATR 81-17 148*42427Ssamples%D 1981 149*42427Ssamples 150*42427Ssamples%A Douglas Baldwin 151*42427Ssamples%A Frederick Sayward 152*42427Ssamples%T Heuristics for Determining Equivalence of Program Mutations 153*42427Ssamples%R Technical Report Number 161 154*42427Ssamples%I Yale University 155*42427Ssamples%D 1979 156*42427Ssamples 157*42427Ssamples%A Martin Brooks 158*42427Ssamples%T Automatic Generation of Test Data for 159*42427SsamplesRecursive Programs Having Simple Errors 160*42427Ssamples%I PhD Thesis, Stanford University 161*42427Ssamples%D 1980 162*42427Ssamples 163*42427Ssamples%A A. Snyder 164*42427Ssamples%T A Portable Compiler for the Language C 165*42427Ssamples%R Master's Thesis 166*42427Ssamples%I M.I.T. 167*42427Ssamples%D 1974 168*42427Ssamples 169*42427Ssamples%F BHS-- 170*42427Ssamples%A Timothy A. Budd 171*42427Ssamples%A Robert Hess 172*42427Ssamples%A Frederick G. Sayward 173*42427Ssamples%T User's Guide for the EXPER Mutation Analysis system 174*42427Ssamples%O (Yale university, memo) 175*42427Ssamples 176*42427Ssamples%E I. M. Editor 177*42427Ssamples%T Book with no author 178*42427Ssamples%D 1066 179*42427Ssamples 180*42427Ssamples%I SDIT 181*42427Ssamples%T Bullitun of the South Dakota Institute of Technology 182*42427Ssamples%D 1946 183