# 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;