http://www.vision.ee.ethz.ch/~pmuell...ggraph2001.pdf is a good paper on the subject of procedural city generation. There have been a number of others SIGGRAPH papers on the subject in recent years.
http://www.citygen.net/ is also fun.