Books of Alberto Sangiovanni-Vincentelli (auth.)