Note: links to products on Amazon are affiliate links, which generate for me a small income. See also The Rawlsian.

John Locke's Two Treatises of Government are essential to understanding social contract theory as it applies to free individuals.
Multiple copies of the Two Treatises may be found at the Internet Archive. The second treatise may be read for free, online at Project Gutenberg.