ASM design book recommendation

Hi,

I am looking for a digital logic design book with a focus on
algorithmic state machine design, and perhaps also some of the more
theoretical issues of logic design.

I hope this is an appriopriate group to post this question to. 

Thanks.