ExpiredDomains is a good starting point, but I wouldn't rely on it alone. I'd also check NameJet, SnapNames, Dynadot, Sedo, Namecheap, Sav.com and direct registrar/auction feeds. There are also tools that aggregate multiple providers, which can save a lot of time.