Digital Electronics by Donald Givone is an excellent book. Morris Mano will be simpler and easy to understand, but Givone's book will have topics more in depth . Especially the later chapters on sequential circuits . Also the details about ASM will be nice in Givone .So overall it is a very good book