2 livres dans ce genre
Boolean calculus of differences
André Thayse
The logical design of operating systems
Alan C. Shaw