perm filename BILLS.TMP[USE,CSR]1 blob sn#376608 filedate 1978-08-31 generic text, type T, neo UTF8
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: JO ANN KLAR


   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-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(hardcopy)   $ 2.65
AIM-311 GREG NELSON DEREK OPPEN,SIMPLIFICATION BY COOPERATING DECISION PROCEDURES(hardcopy)   $ 2.25

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

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

						AMOUNT DUE $ 4.90 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

JO ANN KLAR
UNIVERSITY OF ARIZONA, COMPUTER SCI DEPT
TUCSON, AZ 85721




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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: LIBRARY, ACQUISITIONS DEPT


   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:

STAN-CS-76-564(microfiche) DAVIS,APPL OF META KNOWLEDGE TO LARGE KNOWLG BASES(THESIS)




LIBRARY, ACQUISITIONS DEPT
UNIVERSITY OF ROCHESTER
ROCHESTER, N.Y. 14627



SUBJECT: REPORT ORDER				31 AUG 1978

     TO: PROF. DR. U. PAPE


   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:

STAN-CS-77-641(microfiche) BARSTOW, AUTOMATIC CONSTRUCTION OF ALGORITHMS (THESIS)




PROF. DR. U. PAPE                           #GERFU
TECHNISCHE UNIV. BERLIN                           
LEHREINHEIT AEDV                                  
OTTO-SUHR-ALLEE 18-20                             
1 BERLIN 10, GERMANY                              

SUBJECT: REPORT ORDER				31 AUG 1978

     TO: PROF. GLENN MANACHER


   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:

STAN-CS-77-610(hardcopy) WINOGRAD, FRAMEWORK FOR UNDERSTANDING DISCOURSE

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.

According to our records you have a balance due of $ 5.55 from orders previously
shipped. Please make your check payable, in American dollars, to `CSD Stanford 
University' and return it with the invoice at the bottom of this memo.

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

						AMOUNT DUE $ 5.55 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

PROF. GLENN MANACHER                        #608FM
INFORMATION ENGINEERING                           
UNIVERSITY OF ILLINOIS                            
1102 SED CAMPUS                                   
CHICAGO, ILLINOIS  60880                          


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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: DR. HERBERT HARRELL


   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:

STAN-CS-77-640(hardcopy) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION  $ 2.00

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

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

						AMOUNT DUE $ 2.00 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

DR. HERBERT HARRELL                         #GERET
JOHANNESSTR. 32                                   
7220 SCHWENNINGEN                                 
GERMANY                                           



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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: LIBRARY-DEPT OF COMPUTER SCI.


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




LIBRARY-DEPT OF COMPUTER SCI.
UNIVERSITY OF NORTH CAROLINA
NEW



SUBJECT: REPORT ORDER				31 AUG 1978

     TO: LIBRARY-DEPT OF COMPUTER SCI


   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:

STAN-CS-77-617(microfiche) WINOGRAD, SOME CONTSTD SUPOSTONS...STDY OF LNGAGE




LIBRARY-DEPT OF COMPUTER SCI
UNIVERSITY OF NORTH CAROLINA
NEW WEST HALL 035A
CHAPEL HILL, N.C. 27514


SUBJECT: REPORT ORDER				31 AUG 1978

     TO: PROF. RAFAEL O. FONTAO


   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:

STAN-CS-77-641(microfiche) BARSTOW, AUTOMATIC CONSTRUCTION OF ALGORITHMS (THESIS)




PROF. RAFAEL O. FONTAO                      #ARGRO
DEPT. DE ELECTROTECNIA                            
UNIVERSIDAD NACIONAL DEL SUR                      
BAHIA BLANCA - ARGENTINA                          


SUBJECT: REPORT ORDER				31 AUG 1978

     TO: LEO OJALA


   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:

STAN-CS-77-640(microfiche) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION
STAN-CS-77-646(microfiche) NELSON & OPPEN, EFCNT DECSION PROCDRS BASED ON CNGRUN CLSR




LEO OJALA
HELSINKI UNIVERSITY OF TECHNOLOGY
OTAKAARI 5A SF-02150 ESPOO 15
FINLAND


SUBJECT: REPORT ORDER				31 AUG 1978

     TO: H. L. HANSEN


   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:

STAN-CS-77-640(microfiche) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION




H. L. HANSEN
TECHNISCHE UNIVERSITAT BERLIN
OTTO-SUHR-ALLE 18/20
D-1000 BERLIN 10, GERMANY


SUBJECT: REPORT ORDER				31 AUG 1978

     TO: LIBRARY


   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-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(hardcopy) 
STAN-CS-77-630(hardcopy) MANNA & WALDINGER, SYNTHESIS: DREAMS => PROGRAMS




LIBRARY                                     #277IR
COMPUTER SCIENCE DEPT.                            
DUKE UNIVERSITY                                   
DURHAM, NORTH CAROLINA  27708                     


SUBJECT: REPORT ORDER				31 AUG 1978

     TO: DR. R. WIEHAGEN


   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:

STAN-CS-77-640(hardcopy) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION  $ 2.00

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

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

						AMOUNT DUE $ 2.00 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

DR. R. WIEHAGEN
SUKTION MATHEMATIK DER HUMBOLDT-UNIVERSITAT ZU BERLIN
DDR-1086 BERLIN
GERMANY



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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: MICHAEL R. LEVY


   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:

STAN-CS-77-640(hardcopy) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION  $ 2.00
STAN-CS-77-646(hardcopy) NELSON & OPPEN, EFCNT DECSION PROCDRS BASED ON CNGRUN CLSR  $ 2.50

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

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

						AMOUNT DUE $ 4.50 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

MICHAEL R. LEVY
UNIVERSITY OF WATERLOO
DEPT OF COMPUTER SCIENCE
WATERLOO, ONTARIO, CANADA N2L 3G1



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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: DR. A. R. M. WAJIH


   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:

STAN-CS-73-356(hardcopy) SMITH & ENEA, MLISP2

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:

STAN-CS-70-179(hardcopy) SMITH, MLISP  $ 4.50

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

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

						AMOUNT DUE $ 4.50 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

DR. A. R. M. WAJIH
THE PULLMAN KELLOGG BUILDING
GENERAL ENGINEERING DEPT
WEMBLEY, MIDDLESEX HA9 OEE 
ENGLAND


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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: WAYNE F. MUHLENBURG


   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-235.1(hardcopy) WEYHRAUCH, A USER'S MANUAL FOR "FOL"  $ 3.30

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

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

						AMOUNT DUE $ 3.30 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

WAYNE F. MUHLENBURG
1538 SAWTELLE BLVD.
LOS ANGELES, CA 90025




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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: BOBBIE OTHMER


   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:

STAN-CS-75-498(microfiche) SAMET, AUTO PRVG CRCT TRNSLATNS INVLV CODE-THESIS




BOBBIE OTHMER
DEPT OF COMPUTER SCIENCE
RUTGERS UNIVERSITY
NEW BRUNSWICK, N.J. 08903


SUBJECT: REPORT ORDER				31 AUG 1978

     TO: BLEISS


   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:

STAN-CS-77-646(microfiche) NELSON & OPPEN, EFCNT DECSION PROCDRS BASED ON CNGRUN CLSR
STAN-CS-77-640(hardcopy) MANNA & WALDINGER, STRCTRD PRGRMNG W/O RECURSION  $ 2.00

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

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

						AMOUNT DUE $ 2.00 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

BLEISS
LEHRSTUHL B FUR INFORMATIK DER TECHNISCHEN UNIVERSITAT
33 BRAUNSCHWEIG
DEN FERNRUF, GERMANY



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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: EDWARD P. KATZ


   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:

STAN-CS-75-501(hardcopy) PETTERSEN, PROCDRAL EVNTS AS SOFTWARE INTERRUPTS  $ 1.95

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

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

						AMOUNT DUE $ 1.95 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

EDWARD P. KATZ
COMPUTER SCIENCE DEPT.
THE UNIVERSITY OF SOUTHWESTERN LOUISIANA
LAFAYETTE, LOUISIANA  70504



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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: E.S.I.A.


   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-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(hardcopy)   $ 2.65
AIM-311 GREG NELSON DEREK OPPEN,SIMPLIFICATION BY COOPERATING DECISION PROCEDURES(hardcopy)   $ 2.25

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

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

						AMOUNT DUE $ 4.90 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

E.S.I.A.
C/O PUBLISHERS AIRWAGON
80-00 COOPER AVENUE, BLDG. 3
GLENDALE, N.Y. 11227



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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: THE BOOK HOME


   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:

STAN-CS-77-624(hardcopy) EARNEST ET AL, RECENT RESEARCH IN COMPUTER SCIENCE

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 BOOK HOME
119 E. DALE
COLORADO SPRINGS, COL.  80902



SUBJECT: REPORT ORDER				31 AUG 1978

     TO: DR. HIROJI NISHINO


   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-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(hardcopy)   $ 2.65
AIM-311 GREG NELSON DEREK OPPEN,SIMPLIFICATION BY COOPERATING DECISION PROCEDURES(hardcopy)   $ 2.25
AIM-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(microfiche) 
AIM-311 GREG NELSON DEREK OPPEN,SIMPLIFICATION BY COOPERATING DECISION PROCEDURES(microfiche) 

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

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

						AMOUNT DUE $ 81.10 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

DR. HIROJI NISHINO                          #JAPIL
INFO. SCIENCES DIVISION                           
ELECTROTECHNICAL LAB.                             
6-1, 2-CHOME, NAGATA-CHO                          
CHIYODA-KU, TOKYO 100, JAPAN                      


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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: ANN MURPHY


   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:

STAN-CS-76-542(microfiche) MANNA & SHAMIR, THEORY ASPECTS  OF OPTIMAL FXDPT




ANN MURPHY
PROGRAM LIBRARY ASST
COMPUTER SCI CNTER UNIVERSITY OF MARYLAND
COLLEGE PARK, MD 20742


SUBJECT: REPORT ORDER				31 AUG 1978

     TO: SINMINCHU PUBLISHING CO.


   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:

STAN-CS-77-614(hardcopy) MANNA & SHAMIR, CONVERG FUNCTIONS TO FIXEDPOINTS  $ 2.95
STAN-CS-77-630(hardcopy) MANNA & WALDINGER, SYNTHESIS: DREAMS => PROGRAMS  $ 5.05

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

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

						AMOUNT DUE $ 8.00 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

SINMINCHU PUBLISHING CO.
10 QUEEN VICTORIA ST., 6TH FLOOR
HONG KONG




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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

⊗ → → → IT IS IMPORTANT THAT THIS INVOICE BE RETURNED WITH YOUR PAYMENT ← ← ← ⊗
SUBJECT: REPORT ORDER				31 AUG 1978

     TO: TONY GAHLINGER


   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:

STAN-CS-76-577(microfiche) BUCHANAN ET AL, 3 REVUS WEIZENBAUM'S CMPTR PWR & RSNG




TONY GAHLINGER
C/O COMPUTER SCIENCE DEPT
UNIVERSITY OF WESTERN ONTARRIO
LONDON, ONTARIO, CANADA


SUBJECT: REPORT ORDER				31 AUG 1978

     TO: RICHARD


   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-310 NACHUM DERSHOWITZ AND ZOHAR MANNA, PROVING TERMINATION WITH MULTISET(hardcopy) 
   (2 copies)




RICHARD
COMPUTER SCIENCE LIBRARY
STANFORD UNIVERSITY
STANFORD, CA


SUBJECT: REPORT ORDER				31 AUG 1978

     TO: LIBRARY TECHNICAL PROCESSING


   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:

STAN-CS-76-574(hardcopy) REISER, SAIL  $ 6.70
STAN-CS-76-575(hardcopy) SMITH, SAIL TUTORIAL  $ 3.20

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

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

						AMOUNT DUE $ 9.90 U.S.

					  PAYMENT ENCLOSED $________ U.S.

PAYMENT FOR ACCOUNT OF

LIBRARY TECHNICAL PROCESSING
NASA/AMES RESEARCH CENTER
P.O. BOX 221
MOFFETT FIELD, CA 94035



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
				   COMPUTER SCIENCE DEPT.
				   POLYA HALL, ROOM 202
				   STANFORD, CA 94305 USA

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