Townscaper is probably the most interesting procedure generation "game" I played. The buliding are generated for an irregular grid, and yet everything fit together organically. It was always a mystery to me how it actually works. This article explained some of the mechanisms.