2 libri in questo genere
Boolean calculus of differences
André Thayse
The logical design of operating systems
Alan C. Shaw