fsttcs 2007: foundations of software technology and theoretical computer science: 27th international conference, new delhi, india, december 12-14, 200 (en Inglés)

arvind, v. · springer