How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

by Leslie Lamport

Read this book on Feynman