SUBJECT: REPORT ORDER				31 MAY 1979

     TO: GEORGE W. PETZNICK


   FROM: LIBRARY AND PUBLICATIONS COMMITTEE
	 COMPUTER SCIENCE DEPARTMENT
	 STANFORD UNIVERSITY
	 STANFORD, CA 94305 USA

The following reports that you have ordered are enclosed with this invoice:

AIM-317(hardcopy) KNUTH, TAU EPSILON CHI, A SYSTEM FOR TECHNICAL TEXT




GEORGE W. PETZNICK
257 ULSTER LANE
MELBOURNE, FLORIDA  32935



SUBJECT: REPORT ORDER				31 MAY 1979

     TO: EUGENE CHOURAQUI


   FROM: LIBRARY AND PUBLICATIONS COMMITTEE
	 COMPUTER SCIENCE DEPARTMENT
	 STANFORD UNIVERSITY
	 STANFORD, CA 94305 USA

We are sorry that the following reports you have ordered are out of stock:

AIM147(hardcopy) KLING, RESNG ANGLY W/APPLY TO HRSTC PRBLM SLOVG-THESIS

Stanford Ph.D. theses may be obtained from University Microfilms, 
300 North Zeeb Road, Ann Arbor MI 48106; and other reports of our department
are usually obtainable from the National Technical Information Service,
5285 Port Royal Road, Springfield VA 22151. It generally takes a few
months after publication before the reports are available from these sources.




EUGENE CHOURAQUI
LABORATOIRE D'INFORMATIQUE
POUR LES SCIENCES DE L'HOMME
31 CHEMIN JOSEPH AIGUIER 13274 MARSEILLE CEDEX 2
FRANCE

SUBJECT: REPORT ORDER				31 MAY 1979

     TO: CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE


   FROM: LIBRARY AND PUBLICATIONS COMMITTEE
	 COMPUTER SCIENCE DEPARTMENT
	 STANFORD UNIVERSITY
	 STANFORD, CA 94305 USA

We are sorry that the following reports you have ordered are out of stock:

AIM147(hardcopy) KLING, RESNG ANGLY W/APPLY TO HRSTC PRBLM SLOVG-THESIS

Stanford Ph.D. theses may be obtained from University Microfilms, 
300 North Zeeb Road, Ann Arbor MI 48106; and other reports of our department
are usually obtainable from the National Technical Information Service,
5285 Port Royal Road, Springfield VA 22151. It generally takes a few
months after publication before the reports are available from these sources.

The following reports that you have ordered are enclosed with this invoice:

AIM-315(hardcopy) WEYHRAUCH, PROLEGOMENA TO A THEORY OF FORMAL REASONING  $ 2.85
AIM-264(hardcopy) GORDON, OPERATION REASON & DENOTATION SEMANTICS  $ 2.65
AIM-266(hardcopy) DAVIS ET AL, RULES KNLDG-BASE CONSULT PRGRM  $ 2.75
AIM-314(hardcopy) OPPEN, REASONING ABOUT RECURSIVED DEFINED DATA STRUCTURES  $ 2.15

The cost of these reports is $ 10.40. Please make your check payable, in American 
dollars, to `CSD Stanford University' and return it with the invoice at the 
bottom of this memo.

The Computer Science Department of Stanford University will not exchange or
issue credit for returned publications, and is not responsible for damages
incurred in shipment of publications.

------------------------------- INVOICE -------------------------------------------

						AMOUNT DUE $ 10.40 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
LABORATOIRE D'INFORMATIQUE
POUR LES SCIENCES DE L'HOMME
31, CHEMIN JOSEPH AIGUIER 13274 MARSEILLE CEDEX 2
FRANCE


PLEASE MAKE CHECK PAYABLE TO `CSD STANFORD UNIVERSITY'.
(Note: Overpayments are welcome. They will be credited to your account and
deducted from the cost of future reports you order.)
FORWARD PAYMENT AND INVOICE TO    STANFORD UNIVERSITY
			 	  DEPARTMENT OF COMPUTER SCIENCE
				  ATTENTION PUBLICATIONS COORDINATOR
				  STANFORD, CA 94305  U.S.A.

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗