2 libros en este género
Boolean calculus of differences
André Thayse
The logical design of operating systems
Alan C. Shaw
