Books by IFIP TC10/WG10.5 International Conference on Computer Hardware Description Languages and their Applications (1997 Toledo, Spain)