diff --git a/distributed_systems/A_History_of_the_Virtual_Synchrony_Replication_Model.pdf b/distributed_systems/A_History_of_the_Virtual_Synchrony_Replication_Model.pdf
new file mode 100644
index 0000000..a1307be
Binary files /dev/null and b/distributed_systems/A_History_of_the_Virtual_Synchrony_Replication_Model.pdf differ
diff --git a/distributed_systems/A_Hundred_Impossibility_Proofs_for_Distributed_Computing.pdf b/distributed_systems/A_Hundred_Impossibility_Proofs_for_Distributed_Computing.pdf
new file mode 100644
index 0000000..c1955bd
Binary files /dev/null and b/distributed_systems/A_Hundred_Impossibility_Proofs_for_Distributed_Computing.pdf differ
diff --git a/distributed_systems/A_Response_to_Cheriton_and_Skeens_Criticism_of_Causal_and_Totally_Ordered_Communication.pdf b/distributed_systems/A_Response_to_Cheriton_and_Skeens_Criticism_of_Causal_and_Totally_Ordered_Communication.pdf
new file mode 100644
index 0000000..376bf5b
Binary files /dev/null and b/distributed_systems/A_Response_to_Cheriton_and_Skeens_Criticism_of_Causal_and_Totally_Ordered_Communication.pdf differ
diff --git a/distributed_systems/A_Universal_Modular_ACTOR_Formalism_for_Artificial_Intelligence.pdf b/distributed_systems/A_Universal_Modular_ACTOR_Formalism_for_Artificial_Intelligence.pdf
new file mode 100644
index 0000000..cdc9fa7
Binary files /dev/null and b/distributed_systems/A_Universal_Modular_ACTOR_Formalism_for_Artificial_Intelligence.pdf differ
diff --git a/distributed_systems/Database_Metatheory-_Asking_the_Big_Queries.pdf b/distributed_systems/Database_Metatheory-_Asking_the_Big_Queries.pdf
new file mode 100644
index 0000000..85b2802
Binary files /dev/null and b/distributed_systems/Database_Metatheory-_Asking_the_Big_Queries.pdf differ
diff --git a/distributed_systems/High-Level_Specifications-_Lessons_from_Industry.pdf b/distributed_systems/High-Level_Specifications-_Lessons_from_Industry.pdf
new file mode 100644
index 0000000..b86d696
Binary files /dev/null and b/distributed_systems/High-Level_Specifications-_Lessons_from_Industry.pdf differ
diff --git a/distributed_systems/How_the_Hidden_Hand_Shapes_the_Market_for_Software_Reliability.pdf b/distributed_systems/How_the_Hidden_Hand_Shapes_the_Market_for_Software_Reliability.pdf
new file mode 100644
index 0000000..87f3cf6
Binary files /dev/null and b/distributed_systems/How_the_Hidden_Hand_Shapes_the_Market_for_Software_Reliability.pdf differ
diff --git a/distributed_systems/Impossibility_of_distributed_consensus_with_one_faulty_process.pdf b/distributed_systems/Impossibility_of_distributed_consensus_with_one_faulty_process.pdf
new file mode 100644
index 0000000..a0fee01
Binary files /dev/null and b/distributed_systems/Impossibility_of_distributed_consensus_with_one_faulty_process.pdf differ
diff --git a/distributed_systems/Man-Computer_Symbiosis.pdf b/distributed_systems/Man-Computer_Symbiosis.pdf
new file mode 100644
index 0000000..db6d2f5
Binary files /dev/null and b/distributed_systems/Man-Computer_Symbiosis.pdf differ
diff --git a/distributed_systems/Memorandum_For_Members_and_Affiliates_of_the_Intergalactic_Computer_Network.pdf b/distributed_systems/Memorandum_For_Members_and_Affiliates_of_the_Intergalactic_Computer_Network.pdf
new file mode 100644
index 0000000..e11331e
Binary files /dev/null and b/distributed_systems/Memorandum_For_Members_and_Affiliates_of_the_Intergalactic_Computer_Network.pdf differ
diff --git a/distributed_systems/Minsky_M_1968-1969_Progress_Report.pdf b/distributed_systems/Minsky_M_1968-1969_Progress_Report.pdf
new file mode 100644
index 0000000..1c455d4
Binary files /dev/null and b/distributed_systems/Minsky_M_1968-1969_Progress_Report.pdf differ
diff --git a/distributed_systems/ON_PROOF_AND_PROGRESS_IN_MATHEMATICS.pdf b/distributed_systems/ON_PROOF_AND_PROGRESS_IN_MATHEMATICS.pdf
new file mode 100644
index 0000000..d7e618d
Binary files /dev/null and b/distributed_systems/ON_PROOF_AND_PROGRESS_IN_MATHEMATICS.pdf differ
diff --git a/distributed_systems/SIFT-_Design_and_Analysis_of_a_Fault-Tolerant_Computer_for_Aircraft_Contro.pdf b/distributed_systems/SIFT-_Design_and_Analysis_of_a_Fault-Tolerant_Computer_for_Aircraft_Contro.pdf
new file mode 100644
index 0000000..9e5411b
Binary files /dev/null and b/distributed_systems/SIFT-_Design_and_Analysis_of_a_Fault-Tolerant_Computer_for_Aircraft_Contro.pdf differ
diff --git a/distributed_systems/Self-stabilizing_Systems_in_Spite_of_Distributed_Control.pdf b/distributed_systems/Self-stabilizing_Systems_in_Spite_of_Distributed_Control.pdf
new file mode 100644
index 0000000..1671d1f
Binary files /dev/null and b/distributed_systems/Self-stabilizing_Systems_in_Spite_of_Distributed_Control.pdf differ
diff --git a/distributed_systems/Solution_of_a_Problem_in_Concurrent_Programming_Control.pdf b/distributed_systems/Solution_of_a_Problem_in_Concurrent_Programming_Control.pdf
new file mode 100644
index 0000000..072a309
Binary files /dev/null and b/distributed_systems/Solution_of_a_Problem_in_Concurrent_Programming_Control.pdf differ
diff --git a/distributed_systems/TOWARDS_A_CLOUD_COMPUTING_RESEARCH_AGENDA.pdf b/distributed_systems/TOWARDS_A_CLOUD_COMPUTING_RESEARCH_AGENDA.pdf
new file mode 100644
index 0000000..5043ee2
Binary files /dev/null and b/distributed_systems/TOWARDS_A_CLOUD_COMPUTING_RESEARCH_AGENDA.pdf differ
diff --git a/distributed_systems/The_Computer_as_a_Communication_Device.pdf b/distributed_systems/The_Computer_as_a_Communication_Device.pdf
new file mode 100644
index 0000000..db6d2f5
Binary files /dev/null and b/distributed_systems/The_Computer_as_a_Communication_Device.pdf differ
diff --git a/distributed_systems/Understanding_the_Limitations_of_Causally_and_Totally_Ordered_Communication.pdf b/distributed_systems/Understanding_the_Limitations_of_Causally_and_Totally_Ordered_Communication.pdf
new file mode 100644
index 0000000..8fc2083
Binary files /dev/null and b/distributed_systems/Understanding_the_Limitations_of_Causally_and_Totally_Ordered_Communication.pdf differ
diff --git a/distributed_systems/Viewing_Control_Structures_as_Patterns_of_Passing_Messages.pdf b/distributed_systems/Viewing_Control_Structures_as_Patterns_of_Passing_Messages.pdf
new file mode 100644
index 0000000..eab6f40
Binary files /dev/null and b/distributed_systems/Viewing_Control_Structures_as_Patterns_of_Passing_Messages.pdf differ