Foundations of Computing: An Accessible Introduction to Formal Languages by Charles D. Allison is the featured course on Leanpub!
An accessible, practical approach to formal languages with an introduction to computability.
Link: https://leanpub.com/courses/leanpub/foundationsofcomputing
