Advanced Digital Logic by Thomas Lee