2 books in this genre
Boolean calculus of differences
André Thayse
The logical design of operating systems
Alan C. Shaw
