Author: NATO Advanced Study Institute on Computer Design Aids for VLSI Circuits (1980 Urbino)