perm filename BILLS.TMP[USE,CSR]18 blob sn#672837 filedate 1982-08-06 generic text, type T, neo UTF8
SUBJECT: REPORT ORDER				6 AUG 1982

     TO: HATEM M. KHALIL


   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-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS)  $ 5.60
STAN-CS-82-897(hardcopy) CHRIS GOAD, AUTO. CONSTRUCTION OF SPECIAL PURPOSE PROGRAMS:  $ 2.45

The cost of these reports is $ 8.05. 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 -------------------------------------------

STANFORD UNIVERSITY				INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 6 AUG 1982
SOLD TO:					CUSTOMER NO.: 197MK
						P.O. NO.: 

HATEM M. KHALIL                             #197MK
UNIVERSITY OF DELAWARE                            
DEPT OF COMPUTER & INFO SCIENCE                   
103 SMITH HALL                                    
NEWARK, DELAWARE  19711                           


Description							         Price
--------------------------------------------------------------------------------
STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL P $ 5.60
STAN-CS-82-897(hardcopy) CHRIS GOAD, AUTO. CONSTRUCTION OF SPECIAL PURPOSE $ 2.45

						    Sub Total       $  8.05 U.S.
						    Previously Due  $   .00 U.S.
						    Taxes              N.A.
							            -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due       $  8.05 U.S. 
--------------------------------------------------------------------------------
Disclaimer: 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.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this 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 - - - -
SUBJECT: REPORT ORDER				6 AUG 1982

     TO: PROF. N. S. SRIDHARAN


   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-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS)  $ 5.60
STAN-CS-82-897(hardcopy) CHRIS GOAD, AUTO. CONSTRUCTION OF SPECIAL PURPOSE PROGRAMS:  $ 2.45

The cost of these reports, together with the previous balance in your
account, comes to $ 28.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 -------------------------------------------

STANFORD UNIVERSITY				INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 6 AUG 1982
SOLD TO:					CUSTOMER NO.: 089NR
						P.O. NO.: 

PROF. N. S. SRIDHARAN                       #089NR
DEPT. OF COMPUTER SCIENCE                         
HILL CENTER, RUTGERS UNIV.                        
NEW BRUNSWICK, NEW JERSEY  08903                  



Description							         Price
--------------------------------------------------------------------------------
STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL P $ 5.60
STAN-CS-82-897(hardcopy) CHRIS GOAD, AUTO. CONSTRUCTION OF SPECIAL PURPOSE $ 2.45

						    Sub Total       $  8.05 U.S.
						    Previously Due  $ 20.45 U.S.
						    Taxes              N.A.
							            -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due       $ 28.50 U.S. 
--------------------------------------------------------------------------------
Disclaimer: 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.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this 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 - - - -
SUBJECT: REPORT ORDER				6 AUG 1982

     TO: R. UTHURUSAMY


   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 packing slip:

STAN-CS-81-893(hardcopy) PAULSON, A COMPILER GENERATOR FOR SEMANTIC GRAMMARS:  $ 7.00

You currently have a credit balance of $ 3.30. Thank you!



R. UTHURUSAMY                               #770TS
EXXON PRODUCTION RESEARCH CO.                     
P O BOX 2189                                      
HOUSTON, TX  77001                                


SUBJECT: REPORT ORDER				6 AUG 1982

     TO: LIBRARIAN


   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-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABASES:  $ 3.45

The cost of these reports, together with the previous balance in your
account, comes to $ 9.05. 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 -------------------------------------------

STANFORD UNIVERSITY				INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 6 AUG 1982
SOLD TO:					CUSTOMER NO.: ENGBS
						P.O. NO.: 

LIBRARIAN                                   #ENGBS
DEPT OF COMPUTER SCIENCE                          
THE UNIV. OF MANCHESTER                           
M13 9PL                                           
ENGLAND                                           


Description							         Price
--------------------------------------------------------------------------------
STAN-CS-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABAS $ 3.45

						    Sub Total       $  3.45 U.S.
						    Previously Due  $  5.60 U.S.
						    Taxes              N.A.
							            -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due       $  9.05 U.S. 
--------------------------------------------------------------------------------
Disclaimer: 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.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this 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 - - - -
SUBJECT: REPORT ORDER				6 AUG 1982

     TO: PROF. JACQUES COHEN


   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-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS)  $ 5.60
STAN-CS-82-897(hardcopy) CHRIS GOAD, AUTO. CONSTRUCTION OF SPECIAL PURPOSE PROGRAMS:  $ 2.45

The cost of these reports, together with the previous balance in your
account, comes to $ 32.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 -------------------------------------------

STANFORD UNIVERSITY				INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 6 AUG 1982
SOLD TO:					CUSTOMER NO.: 021FE
						P.O. NO.: 

PROF. JACQUES COHEN                         #021FE
PHYSICS DEPT.                                     
BRANDEIS UNIVERSITY                               
WALTHAM, MASS.  02154                             



Description							         Price
--------------------------------------------------------------------------------
STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL P $ 5.60
STAN-CS-82-897(hardcopy) CHRIS GOAD, AUTO. CONSTRUCTION OF SPECIAL PURPOSE $ 2.45

						    Sub Total       $  8.05 U.S.
						    Previously Due  $ 24.90 U.S.
						    Taxes              N.A.
							            -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due       $ 32.95 U.S. 
--------------------------------------------------------------------------------
Disclaimer: 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.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this 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 - - - -
SUBJECT: REPORT ORDER				6 AUG 1982

     TO: DUSHAN BADAL


   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-82-898(hardcopy) WHANG, WIEDERHOLD, SAGALOWICZ, SEP. AS A PHYSICAL DATA.:  $ 3.85

(California sales tax has been included in the above charges.)

The cost of these reports is $ 3.85. 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 -------------------------------------------

STANFORD UNIVERSITY				INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 6 AUG 1982
SOLD TO:					CUSTOMER NO.: 939HB
						P.O. NO.: 

DUSHAN BADAL                                #939HB
COMPUTER SCIENCE DEPT                             
NAVAL POSTGRADUATE SCHOOL                         
MONTEREY, CA  93940                               



Description							         Price
--------------------------------------------------------------------------------
STAN-CS-82-898(hardcopy) WHANG, WIEDERHOLD, SAGALOWICZ, SEP. AS A PHYSICAL $ 3.85

						    Sub Total       $  3.85 U.S.
						    Previously Due  $   .00 U.S.
						    Taxes              Incl.
							            -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due       $  3.85 U.S. 
--------------------------------------------------------------------------------
Disclaimer: 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.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this 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 - - - -
SUBJECT: REPORT ORDER				6 AUG 1982

     TO: GEORGE S. LUEKER


   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 packing slip:

STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS)  $ 5.60

(California sales tax has been included in the above charges.)

You currently have a credit balance of $ 4.75. Thank you!



GEORGE S. LUEKER                            #927GS
COMPUTER SCIENCE DEPT.                            
U. C. IRVINE                                      
IRVINE, CALIFORNIA  92717                         


SUBJECT: REPORT ORDER				6 AUG 1982

     TO: HELSINKI UNIVERSITY OF TECHNOLOGY


   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-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABASES:  $ 3.45
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLYGON:  $ 2.25

The cost of these reports is $ 5.70. 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 -------------------------------------------

STANFORD UNIVERSITY				INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 6 AUG 1982
SOLD TO:					CUSTOMER NO.: FINNF
						P.O. NO.: 

HELSINKI UNIVERSITY OF TECHNOLOGY           #FINNF
LAB OF INFO. PROCESSING SCIENCE                   
ATTN: ELLI BOMAN                                  
OTAKAARI 1                                        
SF-02150 ESPOO 15, FINLAND                        


Description							         Price
--------------------------------------------------------------------------------
STAN-CS-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABAS $ 3.45
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLY $ 2.25

						    Sub Total       $  5.70 U.S.
						    Previously Due  $   .00 U.S.
						    Taxes              N.A.
							            -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due       $  5.70 U.S. 
--------------------------------------------------------------------------------
Disclaimer: 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.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this 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 - - - -
SUBJECT: REPORT ORDER				6 AUG 1982

     TO: DR. JAMES D. HOLLAN


   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-82-900(hardcopy) BLUM, DIS. & REPRE. OF CAUSAL RELATIONSHIPS:  $ 9.90

(California sales tax has been included in the above charges.)

The cost of these reports, together with the previous balance in your
account, comes to $ 28.75. 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 -------------------------------------------

STANFORD UNIVERSITY				INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 6 AUG 1982
SOLD TO:					CUSTOMER NO.: 920MH
						P.O. NO.: 

DR. JAMES D. HOLLAN                         #920MH
CTR HUMAN INFORMATION PROCESSING                  
UNIV. CALIFORNIA,SAN DIEGO                        
LA JOLLA, CA  92093                               



Description							         Price
--------------------------------------------------------------------------------
STAN-CS-82-900(hardcopy) BLUM, DIS. & REPRE. OF CAUSAL RELATIONSHIPS:      $ 9.90

						    Sub Total       $  9.90 U.S.
						    Previously Due  $ 18.85 U.S.
						    Taxes              Incl.
							            -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due       $ 28.75 U.S. 
--------------------------------------------------------------------------------
Disclaimer: 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.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this 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 - - - -
SUBJECT: REPORT ORDER				6 AUG 1982

     TO: J. GOLDBERG


   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 packing slip:

STAN-CS-81-883(hardcopy) PEPPER, PRGRM TRANS. FOR ABS. DATA TYPES & CONCURRENCY
STAN-CS-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABASES:
STAN-CS-82-895(hardcopy) NOVAK, GLISP USERS MANUAL:




J. GOLDBERG                                 #IDMDS
SRI INTERNATIONAL,                                




SUBJECT: REPORT ORDER				6 AUG 1982

     TO: BIBLIOTHEEK


   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 packing slip:

STAN-CS-81-882(hardcopy) V. PAN, FAST MATRIX MULT. W/O APA-ALGORITHMS:
STAN-CS-81-883(hardcopy) PEPPER, PRGRM TRANS. FOR ABS. DATA TYPES & CONCURRENCY
STAN-CS-81-884(hardcopy) CERI ET AL, OPTIMAL DESIGN OF DISTRIBUTED DATABASES:
STAN-CS-81-886(hardcopy) KNUTH, THE CONCEPT OF A META-FONT:
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLYGON:
STAN-CS-81-889(hardcopy) MUJTABA, GOLDMAN, AL USERS' MANUAL:
STAN-CS-82-892(hardcopy) KUPER, AN ALGORITHM FOR REDUCING ACYCLIC HYPERGRAPHS:




BIBLIOTHEEK                                 #NETLH
INSTITUUT VOOR TOEPASSINGEN                       
UNIVERSITEIT VAN AMSTERDAM                        
ROETERSSTRAAT 15, AMSTERDAM-C                     
NETHERLANDS                                       

SUBJECT: REPORT ORDER				6 AUG 1982

     TO: DR. DAVID KARL PROBST


   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-81-882(hardcopy) V. PAN, FAST MATRIX MULT. W/O APA-ALGORITHMS:  $ 2.95
STAN-CS-81-883(hardcopy) PEPPER, PRGRM TRANS. FOR ABS. DATA TYPES & CONCURRENCY  $ 3.15
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLYGON:  $ 2.25

The cost of these reports, together with the previous balance in your
account, comes to $ 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 -------------------------------------------

STANFORD UNIVERSITY				INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 6 AUG 1982
SOLD TO:					CUSTOMER NO.: CANVM
						P.O. NO.: 

DR. DAVID KARL PROBST                       #CANVM
COMPUTER SCIENCE DEPARTMENT                       
1455 DE MAISONNEUVE BLVD WEST                     
MONTREAL, QUEBEC H3G 1M8                          
CANADA                                            


Description							         Price
--------------------------------------------------------------------------------
STAN-CS-81-882(hardcopy) V. PAN, FAST MATRIX MULT. W/O APA-ALGORITHMS:     $ 2.95
STAN-CS-81-883(hardcopy) PEPPER, PRGRM TRANS. FOR ABS. DATA TYPES & CONCUR $ 3.15
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLY $ 2.25

						    Sub Total       $  8.35 U.S.
						    Previous Credit $ -5.05 U.S.
						    Taxes              N.A.
							            -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due       $  3.30 U.S. 
--------------------------------------------------------------------------------
Disclaimer: 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.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this 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 - - - -
SUBJECT: REPORT ORDER				6 AUG 1982

     TO: PROF. C.A.R. HOARE


   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-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS)  $ 5.60
STAN-CS-81-837(hardcopy) BUCHANAN, RESEARCH ON EXPERT SYSTEMS  $ 3.15

The cost of these reports is $ 8.75. 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 -------------------------------------------

STANFORD UNIVERSITY				INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 6 AUG 1982
SOLD TO:					CUSTOMER NO.: ENGFT
						P.O. NO.: 

PROF. C.A.R. HOARE                          #ENGFT
PROGRAMMING RESEARCH GROUP                        
45 BANBURY RD.                                    
OXFORD                                            
ENGLAND                                           


Description							         Price
--------------------------------------------------------------------------------
STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL P $ 5.60
STAN-CS-81-837(hardcopy) BUCHANAN, RESEARCH ON EXPERT SYSTEMS              $ 3.15

						    Sub Total       $  8.75 U.S.
						    Previously Due  $   .00 U.S.
						    Taxes              N.A.
							            -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due       $  8.75 U.S. 
--------------------------------------------------------------------------------
Disclaimer: 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.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this 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 - - - -
SUBJECT: REPORT ORDER				6 AUG 1982

     TO: ARTURO PUENTE


   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-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL PROOFS (THESIS)  $ 5.60

The cost of these reports, together with the previous balance in your
account, comes to $ 11.15. 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 -------------------------------------------

STANFORD UNIVERSITY				INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 6 AUG 1982
SOLD TO:					CUSTOMER NO.: VENRE
						P.O. NO.: 

ARTURO PUENTE                               #VENRE
APARTADO 88521                                    
CARACAS 1080                                      
VENEZUELA                                         



Description							         Price
--------------------------------------------------------------------------------
STAN-CS-80-819(hardcopy) GOAD, COMPTATAL USES OF THE MANPULATN OF FORMAL P $ 5.60

						    Sub Total       $  5.60 U.S.
						    Previously Due  $  5.55 U.S.
						    Taxes              N.A.
							            -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due       $ 11.15 U.S. 
--------------------------------------------------------------------------------
Disclaimer: 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.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this 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 - - - -
SUBJECT: REPORT ORDER				6 AUG 1982

     TO: ROBERT MAGGAR


   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-81-882(hardcopy) V. PAN, FAST MATRIX MULT. W/O APA-ALGORITHMS:  $ 2.95
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLYGON:  $ 2.25
STAN-CS-81-896(hardcopy) CLANCEY, EPISTEMOLOGY OF RULE-BASED EXPERT SYSTEM: ... EXPLANATION:  $ 3.85

The cost of these reports is $ 9.05. 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 -------------------------------------------

STANFORD UNIVERSITY				INVOICE NO: CJS-AUG61982
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 6 AUG 1982
SOLD TO:					CUSTOMER NO.: 064RG
						P.O. NO.: 

ROBERT MAGGAR                               #064RG
130 ISINGLASS RD                                  
SHELTON, CT  06484                                




Description							         Price
--------------------------------------------------------------------------------
STAN-CS-81-882(hardcopy) V. PAN, FAST MATRIX MULT. W/O APA-ALGORITHMS:     $ 2.95
STAN-CS-81-887(hardcopy) GRAHAM, YAO, FINDING CONVEX HULL OF A SIMPLE POLY $ 2.25
STAN-CS-81-896(hardcopy) CLANCEY, EPISTEMOLOGY OF RULE-BASED EXPERT SYSTEM $ 3.85

						    Sub Total       $  9.05 U.S.
						    Previously Due  $   .00 U.S.
						    Taxes              N.A.
							            -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due       $  9.05 U.S. 
--------------------------------------------------------------------------------
Disclaimer: 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.
--------------------------------------------------------------------------------
Please make checks payable to `CSD STANFORD UNIVERSITY' and forward payment
(along with this 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 - - - -