Roger L. Harris
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
LAMBDA: Logic and Mathematics Behind Design Automation
Michael P. Fourman and others (1989) · 26th ACM/IEEE Design Automation Conference