All the handouts can be found outside the course secretary's office
Tech. Sq. NE43-251. Right now only 35 of the following handouts are
avaiable in this ftp site.

Handout   Date		Title
 Number
01	09/13/93	Course Information
02	09/13/93	Tentative Course Schedule
03	09/13/93	Introduction to Spec
04	09/13/93	Spec Reference Manual
05	09/13/93	Example Specifications and Implementations
06	09/13/93	Reading
07	09/13/93	Problem Set #1
08	09/15/93	Abstraction Functions and Rep Invariants
09	09/20/93	Simple File System Implementation
10	09/20/93	Reading
11	09/20/93	Problem Set #2
12	09/27/93	History Variables
13	09/27/93  MAC	Rudiments of Logic
14	09/27/93  MAC	Atomic Semantics of Spec
15	09/27/93	Problem Set #3
16	09/29/93	Reading
17	09/29/93	Basics of Performance Analysis
18	09/29/93	Solutions to Problem Set #1
19	10/04/93	Reading
20	10/04/93	Examples of Concurrency
21	10/04/93  MAC	Implementing Atomic Actions
22	10/04/93  MAC	Non-Atomic Semantics of Spec
23	10/04/93	Problem Set #4
24	10/06/93	Proving Concurrent Modules Correct
25	10/06/93	Reading
26	10/13/93	Solutions to Problem Set #2
27	10/13/93	Problem Set #5	10/20/93
28	10/20/93	Reading
29	10/20/93  MAC	Concurrent Disk Reads
30	10/20/93	Problem Set #6
31	10/25/93	Sequential Transactions with Caching:Revised
32	10/27/93  MAC	Concurrent Transactions
33	10/27/93	Problem Set #7
34	11/01/93	Reading
35	11/03/93	Solutions to Problem Set #3
36	11/03/93  MAC	Problem Set #8
37	11/08/93	Reading
38	11/08/93	Solutions to Problem Set #4
39	11/10/93	Reading
40	11/10/93	Reading
41	11/10/93	Problem Set #9
42	11/15/93  MAC	Consensus
43	11/17/93	Reading
44	11/17/93	Distributed Transactions
45	11/17/93	Problem Set #10
46	11/17/93  MAC	Solutions to Problem Set #8
47	11/22/93	Replication Techniques
48	11/24/93	Solutions to Problem Set #9
49	11/24/93	Problem Set #11
50	11/24/93	Reading
51	11/29/93	Reading
52	11/29/93	Reading
53	12/06/93	Concurrent Caching
54	12/06/93	Material for the Final Exam
55	12/08/93	Solutions to Problem Set #6
56	12/08/93	Solutions to Problem Set #11