I need references to papers/books dealing with the following
HDL's.  

ELLA
HHDL
Verilog - There was a book on Verilog published a few months ago
ISP

I am hoping some of you on the net would have the information
and would be willing to share it with me.

Thanks in advance
-Pankaj Mayor

two recent books on Verilog "The Verilog Hardware Description Language", Donald
Thomas, Philip Moorby; Kluwer Academic Press
and
"Hardware Modeling in VerilogHDL" Sternheim, Singh, Trivedi;Automata Publishing Co.