This list of publications has been moved to
www.shenvi.org/Publications.htm