Bu türde 2 kitap
Boolean calculus of differences
André Thayse
The logical design of operating systems
Alan C. Shaw
