TY - BOOK TI - FSTTCS 2006: foundations of software technology and theoretical computer science PY - 2006/// CY - Berlin PB - Springer-Verlag ER -