# LaTeX2HTML 2K.1beta (1.61) # Associate internals original text with physical files. $key = q/cite_bennett:bylands/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_jones/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_ward:reverse/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_aho:dragon/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_ryan:provable/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/dfn:tt/; $ref_files{$key} = "$dir".q|Proposed_Solution_ct.html|; $noresave{$key} = "$nosave"; $key = q/cite_rhmhsd:mutation/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_mhsd:stvr1/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_tracey-98/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/sec:management/; $ref_files{$key} = "$dir".q|Project_Management_ct.html|; $noresave{$key} = "$nosave"; $key = q/cite_jones96/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_radio:standard/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_bsi:testing-standard2/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_wegener:realtime/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_michael:generating/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_williams:thesis/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_ward:maintainers/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_wegener:comparison/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_wegner96/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_pargas99/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; $key = q/cite_wegner97/; $ref_files{$key} = "$dir".q|Bibliography_mn.html|; $noresave{$key} = "$nosave"; 1;