The Art And Craft Of Computing by Stefano Ceri & Dino Mandrioli