Books by IFIP WG 10.2 Workshop on Electronic Design Automation Frameworks (2nd 1990 Charlottesville, Va.)