How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
by Leslie Lamport
Read this book on Feynman