Why this Hoare paper and this Lamport paper? A list of ten is a bit long considering how much background material is required reading for every single entry.