Minecraft wiki entry for Stronghold, associated text: Eye of Ender throw plotting tool
Another Stronghold Locator
A stronghold and village finder for 1.7
Python implementation to find strongholds
(Yet another, but working) Minecraft stronghold locator
Still another stronghold finder
Wikipedia article on Stronghold