Fixed minor formatting issues.
Rephrased some sentences in the 'Protocols' section.
Added link to 'Liskov Substitution Principle' on Wikipedia.