Good book on logic synthesis

These two papers are referenced by above book about HDL translator