COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	--------------------------------------------------------------------------------
C00010 00003	  BLANKET ORDER NUMBER:  C4BD-173797
C00028 ENDMK
C⊗;
--------------------------------------------------------------------------------
MICROFICHE ORDER						December 3, 1981

TO:  Western Microfilm, Inc.		FROM:  Department of Computer Science
     1 South Park Avenue		       Stanford University
     San Francisco, CA  94107		       Attn: Dawn Yolton
					       Building 460, room 206
					       Stanford, CA  94305

Collate the fiche if there are more than one for each document.  Please put in
glassine envelopes.  Return the microfilm masters as well as the document originals.
Please ship reports to us in small batches as filmed, whether taxable or non-
taxable, rather than waiting until the order has been completed in full.

Plese put the taxable items and the non-taxable items on SEPARATE invoices and 
return a copy of this order with the invoice when sent.  

If you have any questions concerning this order, please call Dawn Yolton at
(415) 497-4776.

  BLANKET ORDER NUMBER:  C4BD-173797
               TAXABLE:  yes
   NUMBER OF ORIGINALS:  52
NUMBER COPIES REQUIRED:  400
          HEADER COLOR:  red

12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:

STAN-CS-81-843 VERIFICATION OF CONCURRENT PROGRAMS, PART II:         
	       TEMPORAL PROOF PRINCIPLES			     (CARD x OF x)
               BY ZOHAR MANNA AND AMIR PNUELI	 		     SEPTEMBER 1981
--------------------------------------------------------------------------------
  BLANKET ORDER NUMBER:  C4BD-173797
               TAXABLE:  yes
   NUMBER OF ORIGINALS:  179
NUMBER COPIES REQUIRED:  400
          HEADER COLOR:  orange

12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:

STAN-CS-81-866 VERIFYING THE ABSENCE OF COMMON RUNTIME ERRORS	    
	       IN COMPUTER PROGRAMS				     (CARD x OF x)
               BY STEVN M. GERMAN				     JUNE 1981
--------------------------------------------------------------------------------
  BLANKET ORDER NUMBER:  C4BD-173797
               TAXABLE:  yes
   NUMBER OF ORIGINALS:  29
NUMBER COPIES REQUIRED:  400
          HEADER COLOR:  red

12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:

STAN-CS-81-872 SYNTHESIS OF COMMUNICATING PROCESSES
	       FROM TEMPORAL LOGIC SPECIFICATIONS		      (CARD x OF x)
               BY ZOHAR MANNA AND PIERRE WOLPER			      SEPTEMBER 1981
--------------------------------------------------------------------------------
  BLANKET ORDER NUMBER:  C4BD-173797
               TAXABLE:  yes
   NUMBER OF ORIGINALS:  126
NUMBER COPIES REQUIRED:  400
          HEADER COLOR:  red

12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:

STAN-CS-81-874 MULTIPROCESSING ARCHITECTURES 
	       FOR LOCAL COMPUTER NETWORKS			      (CARD x OF x)
               BY ALFRED Z. SPECTOR				      AUGUST 1981
--------------------------------------------------------------------------------
  BLANKET ORDER NUMBER:  C4BD-173797
               TAXABLE:  yes
   NUMBER OF ORIGINALS:  22
NUMBER COPIES REQUIRED:  400
          HEADER COLOR:  red

12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:

STAN-CS-81-876 ON LINEAR AREA EMBEDDING OF PLANAR GRAPHS	      (CARD x OF x)
               BY DANNY DOLEV AND HOWARD TRICKEY		      SEPTEMBER 1981
--------------------------------------------------------------------------------
  BLANKET ORDER NUMBER:  C4BD-173797
               TAXABLE:  yes
   NUMBER OF ORIGINALS:  46
NUMBER COPIES REQUIRED:  400
          HEADER COLOR:  red

12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:

STAN-CS-81-877 VERIFICATION OF SEQUENTIAL PROGRAMS:		      
	       TEMPORAL AXIOMATIZATION				      (CARD x OF x)
               BY ZOHAR MANNA					      SEPTEMBER 1981
--------------------------------------------------------------------------------
  BLANKET ORDER NUMBER:  C4BD-173797
               TAXABLE:  yes
   NUMBER OF ORIGINALS:  11
NUMBER COPIES REQUIRED:  400
          HEADER COLOR:  red

12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:

STAN-CS-81-878 MAXIMAL OBJECTS AND THE SEMANTICS		      
	       OF UNIVERSAL RELATION DATABASES			      (CARD x OF x)
               BY DAVID MAIER AND JEFFREY D. ULLMAN		      OCTOBER 1981
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
  BLANKET ORDER NUMBER:  C4BD-173797
               TAXABLE:  yes
   NUMBER OF ORIGINALS:  191
NUMBER COPIES REQUIRED:  50
          HEADER COLOR:  blue

12345678901234567890123456789012345678901234567890123456789012345678901234567890
HEADER TO READ:

STAN-CS-81-856 AN ORGANIZATION FOR PROGRAMS
	       IN FLUID DOMAINS					      (CARD x OF x)
	       BY RICHARD P. GABRIEL				      MAY 1981