perm filename BILLS.TMP[USE,CSR]9 blob sn#562505 filedate 1981-02-09 generic text, type T, neo UTF8
SUBJECT: REPORT ORDER				9 FEB 1981

     TO: DIPL.-INF. H.-W. HEIN


   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-790(hardcopy) WIEDERHOLD, DATABASES IN HEALTHCARE
STAN-CS-80-791(hardcopy) WILCOX ET AL., MAINSAIL LANGUAGE MANUAL
STAN-CS-80-792(hardcopy) WILCOX ET AL., MAINSAIL IMPLEMENTATION OVERVIEW
STAN-CS-80-794(hardcopy) TARJAN, RECENT DEVELOP. IN COMPLEXITY OF COMBINATORIAL ...
STAN-CS-80-795(hardcopy) KNUTH, THE LETTER S
AIM-335(hardcopy) SAMUEL, ESSENTIAL E
STAN-CS-80-797(hardcopy) GARCIA-MOLINA & WIEDERHOLD, READ-ONLY TRANSACTIONS...
STAN-CS-80-801(hardcopy) EL-MASRI, DESIGN USE & INTEGRATION OF DATA MODELS (THESIS)
AIM-336(hardcopy) M. BROOKS, DETERMINING CORRECTNESS BY TESTING (THESIS)
AIM-339(hardcopy) GENNERY, MODELLING ENVIRONMENT OF EXPLORING VEHICLS..(THESIS)




DIPL.-INF. H.-W. HEIN                       #GERIH
INSTITUT FUR MATHEMATISCHE                        
UNIVERSITAT ERLANGEN-NURNBERG                     
MARTENSSTR. 3, 8520 ERLANGEN                      
GERMANY                                           

SUBJECT: REPORT ORDER				9 FEB 1981

     TO: OCLC, INC.


   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-780(hardcopy) KNUTH, COMPUTER MODERN FAMILY OF TYPEFACES




OCLC, INC.
ATTN.:  PEG SMITH/LIBRARY
1125 KINNEAR RD.
COLUMBUS, OH  43212


SUBJECT: REPORT ORDER				9 FEB 1981

     TO: I.N.R.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 packing slip:

PVG-16(hardcopy) LUCKHAM & POLAK, ADA EXCEPTIONS
STAN-CS-80-790(hardcopy) WIEDERHOLD, DATABASES IN HEALTHCARE
STAN-CS-80-791(hardcopy) WILCOX ET AL., MAINSAIL LANGUAGE MANUAL
STAN-CS-80-791(microfiche) WILCOX ET AL., MAINSAIL LANGUAGE MANUAL
STAN-CS-80-792(hardcopy) WILCOX ET AL., MAINSAIL IMPLEMENTATION OVERVIEW
HPP-80-3(microfiche) BARR & DAVIDSON, REPRESENTATION OF KNOWLEDGE (AI HANDBOOK)
   (2 copies)
STAN-CS-80-794(hardcopy) TARJAN, RECENT DEVELOP. IN COMPLEXITY OF COMBINATORIAL ...
STAN-CS-80-795(hardcopy) KNUTH, THE LETTER S
AIM-335(hardcopy) SAMUEL, ESSENTIAL E
STAN-CS-80-797(hardcopy) GARCIA-MOLINA & WIEDERHOLD, READ-ONLY TRANSACTIONS...
STAN-CS-80-798(hardcopy) FLOYD & ULLMAN, COMPILATION OF REGULAR EXPRESSIONS...
STAN-CS-80-799(microfiche) FRIEDMAN ET AL., MULTIDIMENSIONAL ADDITIVE SPLINE APPROX.
   (2 copies)
STAN-CS-80-800(hardcopy) KNUTH, DECIPHERING A LINEAR CONGRUENTIAL ENCRYPTION
STAN-CS-80-801(hardcopy) EL-MASRI, DESIGN USE & INTEGRATION OF DATA MODELS (THESIS)
PVG-17(hardcopy) POLAK, THEORY OF COMPILER SPECIFICATION & VERIFICATION (THESIS)
STAN-CS-80-803(hardcopy) VAN WYK, LANGUAGE FOR TYPESETTING GRAPHICS (THESIS)
AIM-336(hardcopy) M. BROOKS, DETERMINING CORRECTNESS BY TESTING (THESIS)
AIM-339(hardcopy) GENNERY, MODELLING ENVIRONMENT OF EXPLORING VEHICLS..(THESIS)




I.N.R.I.A.                                  #FRAIR
CENTRE DE DOCUMENTATION                           
B P 105                                           
78150 LE CHESNAY, FRANCE                          


SUBJECT: REPORT ORDER				9 FEB 1981

     TO: PROF. MARTTI TIENARI


   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:

PVG-16(hardcopy) LUCKHAM & POLAK, ADA EXCEPTIONS
STAN-CS-80-790(hardcopy) WIEDERHOLD, DATABASES IN HEALTHCARE
STAN-CS-80-791(hardcopy) WILCOX ET AL., MAINSAIL LANGUAGE MANUAL
STAN-CS-80-792(hardcopy) WILCOX ET AL., MAINSAIL IMPLEMENTATION OVERVIEW
HPP-80-3(hardcopy) BARR & DAVIDSON, REPRESENTATION OF KNOWLEDGE (AI HANDBOOK)
STAN-CS-80-794(hardcopy) TARJAN, RECENT DEVELOP. IN COMPLEXITY OF COMBINATORIAL ...
STAN-CS-80-795(hardcopy) KNUTH, THE LETTER S
AIM-335(hardcopy) SAMUEL, ESSENTIAL E
STAN-CS-80-797(hardcopy) GARCIA-MOLINA & WIEDERHOLD, READ-ONLY TRANSACTIONS...
STAN-CS-80-798(hardcopy) FLOYD & ULLMAN, COMPILATION OF REGULAR EXPRESSIONS...
STAN-CS-80-799(hardcopy) FRIEDMAN ET AL., MULTIDIMENSIONAL ADDITIVE SPLINE APPROX.
STAN-CS-80-800(hardcopy) KNUTH, DECIPHERING A LINEAR CONGRUENTIAL ENCRYPTION
STAN-CS-80-801(hardcopy) EL-MASRI, DESIGN USE & INTEGRATION OF DATA MODELS (THESIS)
PVG-17(hardcopy) POLAK, THEORY OF COMPILER SPECIFICATION & VERIFICATION (THESIS)
STAN-CS-80-803(hardcopy) VAN WYK, LANGUAGE FOR TYPESETTING GRAPHICS (THESIS)
AIM-336(hardcopy) M. BROOKS, DETERMINING CORRECTNESS BY TESTING (THESIS)
AIM-339(hardcopy) GENNERY, MODELLING ENVIRONMENT OF EXPLORING VEHICLS..(THESIS)




PROF. MARTTI TIENARI                        #FINFI
UNIV. OF HELSINKI                                 
COMPUTER SCIENCE DEPARTMENT                       
TUKHOLMANKATU 2                                   
SF-00250 HELSINKI 25, FINLAND                     

SUBJECT: REPORT ORDER				9 FEB 1981

     TO: SYDNEY UNIVERSITY 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 packing slip:

PVG-16(hardcopy) LUCKHAM & POLAK, ADA EXCEPTIONS
STAN-CS-80-790(hardcopy) WIEDERHOLD, DATABASES IN HEALTHCARE
STAN-CS-80-791(hardcopy) WILCOX ET AL., MAINSAIL LANGUAGE MANUAL
STAN-CS-80-792(hardcopy) WILCOX ET AL., MAINSAIL IMPLEMENTATION OVERVIEW
HPP-80-3(hardcopy) BARR & DAVIDSON, REPRESENTATION OF KNOWLEDGE (AI HANDBOOK)
STAN-CS-80-794(hardcopy) TARJAN, RECENT DEVELOP. IN COMPLEXITY OF COMBINATORIAL ...
STAN-CS-80-795(hardcopy) KNUTH, THE LETTER S
AIM-335(hardcopy) SAMUEL, ESSENTIAL E
STAN-CS-80-797(hardcopy) GARCIA-MOLINA & WIEDERHOLD, READ-ONLY TRANSACTIONS...
STAN-CS-80-798(hardcopy) FLOYD & ULLMAN, COMPILATION OF REGULAR EXPRESSIONS...
STAN-CS-80-799(hardcopy) FRIEDMAN ET AL., MULTIDIMENSIONAL ADDITIVE SPLINE APPROX.
STAN-CS-80-800(hardcopy) KNUTH, DECIPHERING A LINEAR CONGRUENTIAL ENCRYPTION
STAN-CS-80-801(hardcopy) EL-MASRI, DESIGN USE & INTEGRATION OF DATA MODELS (THESIS)
PVG-17(hardcopy) POLAK, THEORY OF COMPILER SPECIFICATION & VERIFICATION (THESIS)
STAN-CS-80-803(hardcopy) VAN WYK, LANGUAGE FOR TYPESETTING GRAPHICS (THESIS)
AIM-336(hardcopy) M. BROOKS, DETERMINING CORRECTNESS BY TESTING (THESIS)
AIM-339(hardcopy) GENNERY, MODELLING ENVIRONMENT OF EXPLORING VEHICLS..(THESIS)




SYDNEY UNIVERSITY LIBRARY                   #AUSNY
GIFT AND EXCHANGE SECTION                         
UNIVERSITY OF SYDNEY                              
2006, NSW, AUSTRALIA                              


SUBJECT: REPORT ORDER				9 FEB 1981

     TO: BIBLIOTECA DE COMPUTACION/UNIVERSIDAD DE CHILE


   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:

PVG-16(hardcopy) LUCKHAM & POLAK, ADA EXCEPTIONS  $ 2.25
STAN-CS-80-790(hardcopy) WIEDERHOLD, DATABASES IN HEALTHCARE  $ 3.85
STAN-CS-80-791(hardcopy) WILCOX ET AL., MAINSAIL LANGUAGE MANUAL  $ 8.65
STAN-CS-80-792(hardcopy) WILCOX ET AL., MAINSAIL IMPLEMENTATION OVERVIEW  $ 3.70
HPP-80-3(microfiche) BARR & DAVIDSON, REPRESENTATION OF KNOWLEDGE (AI HANDBOOK)
STAN-CS-80-794(hardcopy) TARJAN, RECENT DEVELOP. IN COMPLEXITY OF COMBINATORIAL ...
STAN-CS-80-795(hardcopy) KNUTH, THE LETTER S  $ 2.65
AIM-335(hardcopy) SAMUEL, ESSENTIAL E  $ 2.65
STAN-CS-80-797(hardcopy) GARCIA-MOLINA & WIEDERHOLD, READ-ONLY TRANSACTIONS...  $ 2.40
STAN-CS-80-798(hardcopy) FLOYD & ULLMAN, COMPILATION OF REGULAR EXPRESSIONS...  $ 2.50
STAN-CS-80-800(hardcopy) KNUTH, DECIPHERING A LINEAR CONGRUENTIAL ENCRYPTION  $ 2.00
STAN-CS-80-801(hardcopy) EL-MASRI, DESIGN USE & INTEGRATION OF DATA MODELS (THESIS)  $ 5.00
PVG-17(hardcopy) POLAK, THEORY OF COMPILER SPECIFICATION & VERIFICATION (THESIS)  $ 5.75
STAN-CS-80-803(hardcopy) VAN WYK, LANGUAGE FOR TYPESETTING GRAPHICS (THESIS)  $ 3.35
AIM-336(hardcopy) M. BROOKS, DETERMINING CORRECTNESS BY TESTING (THESIS)  $ 5.50
AIM-339(hardcopy) GENNERY, MODELLING ENVIRONMENT OF EXPLORING VEHICLS..(THESIS)  $ 5.00

The cost of these reports is $ 55.25. 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-FEB91981
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 9 FEB 1981
SOLD TO:					CUSTOMER NO.: 
						P.O. NO.: 

BIBLIOTECA DE COMPUTACION/UNIVERSIDAD DE CHILE
BLANCO ENCALADA 2120
CASILLA 2777
SANTIAGO, CHILE



Description							         Price
--------------------------------------------------------------------------------
PVG-16(hardcopy) LUCKHAM & POLAK, ADA EXCEPTIONS                           $ 2.25
STAN-CS-80-790(hardcopy) WIEDERHOLD, DATABASES IN HEALTHCARE               $ 3.85
STAN-CS-80-791(hardcopy) WILCOX ET AL., MAINSAIL LANGUAGE MANUAL           $ 8.65
STAN-CS-80-792(hardcopy) WILCOX ET AL., MAINSAIL IMPLEMENTATION OVERVIEW   $ 3.70
HPP-80-3(microfiche) BARR & DAVIDSON, REPRESENTATION OF KNOWLEDGE (AI HANDBOOK)
STAN-CS-80-794(hardcopy) TARJAN, RECENT DEVELOP. IN COMPLEXITY OF COMBINATORIAL ...
STAN-CS-80-795(hardcopy) KNUTH, THE LETTER S                               $ 2.65
AIM-335(hardcopy) SAMUEL, ESSENTIAL E                                      $ 2.65
STAN-CS-80-797(hardcopy) GARCIA-MOLINA & WIEDERHOLD, READ-ONLY TRANSACTION $ 2.40
STAN-CS-80-798(hardcopy) FLOYD & ULLMAN, COMPILATION OF REGULAR EXPRESSION $ 2.50
STAN-CS-80-800(hardcopy) KNUTH, DECIPHERING A LINEAR CONGRUENTIAL ENCRYPTI $ 2.00
STAN-CS-80-801(hardcopy) EL-MASRI, DESIGN USE & INTEGRATION OF DATA MODELS $ 5.00
PVG-17(hardcopy) POLAK, THEORY OF COMPILER SPECIFICATION & VERIFICATION (T $ 5.75
STAN-CS-80-803(hardcopy) VAN WYK, LANGUAGE FOR TYPESETTING GRAPHICS (THESI $ 3.35
AIM-336(hardcopy) M. BROOKS, DETERMINING CORRECTNESS BY TESTING (THESIS)   $ 5.50
AIM-339(hardcopy) GENNERY, MODELLING ENVIRONMENT OF EXPLORING VEHICLS..(TH $ 5.00

						    Sub Total      $ 55.25 U.S.
						    Previously Due $   .00 U.S.
						    Taxes             N.A.
							           -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due      $ 55.25 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				9 FEB 1981

     TO: F. DEVAI


   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-79-733(hardcopy) A. YAO, LOWER BOUND TO FIND CONVEX HULLS  $ 2.35

The cost of these reports is $ 2.35. 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-FEB91981
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 9 FEB 1981
SOLD TO:					CUSTOMER NO.: 
						P.O. NO.: 

F. DEVAI
COMPUTER & AUTOMATION INSTITUTE
HUNGARIAN ACADEMY OF SCIENCES
H-1502 BUDAPEST P.O. BOX 63
HUNGARY


Description							         Price
--------------------------------------------------------------------------------
STAN-CS-79-733(hardcopy) A. YAO, LOWER BOUND TO FIND CONVEX HULLS          $ 2.35

						    Sub Total      $  2.35 U.S.
						    Previously Due $   .00 U.S.
						    Taxes             N.A.
							           -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due      $  2.35 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				9 FEB 1981

     TO: C.N.E.N.


   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-779(hardcopy) MANNA & WALDINGER, PROBLEMATIC FEATURES OF PROGRAMMING LANGUAGES  $ 3.70
STAN-CS-80-780(hardcopy) KNUTH, COMPUTER MODERN FAMILY OF TYPEFACES  $ 7.60
PVG-15(hardcopy) HUET & OPPEN, EQUATIONS & REWRITE RULES  $ 3.20
STAN-CS-80-786(hardcopy) KNUTH, ALGORITHMS IN MODERN MATH & CS  $ 2.50
AIM-334(hardcopy) MCCARTHY, CIRCUMSCRIPTION  $ 2.15

The cost of these reports is $ 19.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-FEB91981
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 9 FEB 1981
SOLD TO:					CUSTOMER NO.: 
						P.O. NO.: 

C.N.E.N.
CENTRO DI BOLOGNA
CENTRO DI CALCOLO
VIA G. MAZZINI,2-30138 
BOLOGNA, ITALY


Description							         Price
--------------------------------------------------------------------------------
STAN-CS-80-779(hardcopy) MANNA & WALDINGER, PROBLEMATIC FEATURES OF PROGRA $ 3.70
STAN-CS-80-780(hardcopy) KNUTH, COMPUTER MODERN FAMILY OF TYPEFACES        $ 7.60
PVG-15(hardcopy) HUET & OPPEN, EQUATIONS & REWRITE RULES                   $ 3.20
STAN-CS-80-786(hardcopy) KNUTH, ALGORITHMS IN MODERN MATH & CS             $ 2.50
AIM-334(hardcopy) MCCARTHY, CIRCUMSCRIPTION                                $ 2.15

						    Sub Total      $ 19.15 U.S.
						    Previously Due $   .00 U.S.
						    Taxes             N.A.
							           -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due      $ 19.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				9 FEB 1981

     TO: UNIVERSITAT KARLSRUHE


   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-797(hardcopy) GARCIA-MOLINA & WIEDERHOLD, READ-ONLY TRANSACTIONS...  $ 2.40

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

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

STANFORD UNIVERSITY				INVOICE NO: CJS-FEB91981
Department of Computer Science
Publications Office
Stanford, California 94305
						DATE: 9 FEB 1981
SOLD TO:					CUSTOMER NO.: 
						P.O. NO.: 

UNIVERSITAT KARLSRUHE
FAKULTAT FUR INFORMATIK
BIBLIOTHEK-ZIRKEL 2 POSTFACH 6380
D-7500 KARLSRUHE 1 WEST GERMANY
ATTN.: DORIS-LIBRARIAN


Description							         Price
--------------------------------------------------------------------------------
STAN-CS-80-797(hardcopy) GARCIA-MOLINA & WIEDERHOLD, READ-ONLY TRANSACTION $ 2.40

						    Sub Total      $  2.40 U.S.
						    Previously Due $   .00 U.S.
						    Taxes             N.A.
							           -----------
PLEASE REMIT THIS AMOUNT IN U.S.DOLLARS -->	    Total Due      $  2.40 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				9 FEB 1981

     TO: UNIVERSITY OF TORONTO


   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-790(hardcopy) WIEDERHOLD, DATABASES IN HEALTHCARE
STAN-CS-80-797(hardcopy) GARCIA-MOLINA & WIEDERHOLD, READ-ONLY TRANSACTIONS...
STAN-CS-80-798(hardcopy) FLOYD & ULLMAN, COMPILATION OF REGULAR EXPRESSIONS...
PVG-17(hardcopy) POLAK, THEORY OF COMPILER SPECIFICATION & VERIFICATION (THESIS)
AIM-336(hardcopy) M. BROOKS, DETERMINING CORRECTNESS BY TESTING (THESIS)




UNIVERSITY OF TORONTO                       #CANSF
DEPT. OF COMPUTER SCIENCE                         
C/O YVONNE GEORGE/ASST. LIBRARIAN                 
TORONTO M5S 1A7, CANADA                           


SUBJECT: REPORT ORDER				9 FEB 1981

     TO: J. S. BIEN


   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:

HPP-80-3(microfiche) BARR & DAVIDSON, REPRESENTATION OF KNOWLEDGE (AI HANDBOOK)
STAN-CS-80-795(hardcopy) KNUTH, THE LETTER S
AIM-335(hardcopy) SAMUEL, ESSENTIAL E
STAN-CS-80-803(microfiche) VAN WYK, LANGUAGE FOR TYPESETTING GRAPHICS (THESIS)




J. S. BIEN                                  #POLSI
UN'WERSYTET WARSZAWSKI                            
INSTYTUT MASZYN MATEMATYCZNYCH                    
P. O. BOX 1210                                    
00-901 WARSZAWA, POLAND                           

SUBJECT: REPORT ORDER				9 FEB 1981

     TO: SEIICHI NISHIHARA


   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-79-776(hardcopy) ASPVALL & STONE, KHACHIYAN'S ALGORITHM  $ 2.10
STAN-CS-80-780(hardcopy) KNUTH, COMPUTER MODERN FAMILY OF TYPEFACES  $ 7.60
STAN-CS-80-786(hardcopy) KNUTH, ALGORITHMS IN MODERN MATH & CS  $ 2.50

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



SEIICHI NISHIHARA                           #JAPCI
DEPT. OF INFORMATION SCIENCE                      
UNIVERSITY OF TSUKUBA                             
NIIHARI-GUN, IBARAKI 300-31                       
JAPAN