# LaTeX2HTML 2K.1beta (1.61)
# Associate labels original text with physical files.


$key = q/cite_bennett:bylands/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_jones/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ward:reverse/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_aho:dragon/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ryan:provable/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/dfn:tt/;
$external_labels{$key} = "$URL/" . q|Proposed_Solution_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_rhmhsd:mutation/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_mhsd:stvr1/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_tracey-98/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:management/;
$external_labels{$key} = "$URL/" . q|Project_Management_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_jones96/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_radio:standard/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_bsi:testing-standard2/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_wegener:realtime/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_michael:generating/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_williams:thesis/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_ward:maintainers/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_wegener:comparison/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_wegner96/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_pargas99/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_wegner97/;
$external_labels{$key} = "$URL/" . q|Bibliography_mn.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2K.1beta (1.61)
# labels from external_latex_labels array.


$key = q/sec:management/;
$external_latex_labels{$key} = q|4|; 
$noresave{$key} = "$nosave";

$key = q/dfn:tt/;
$external_latex_labels{$key} = q|1|; 
$noresave{$key} = "$nosave";

1;