Author: NATO Advanced Study Institute on "Design Methodologies for VLSI Circuits" (1980 Louvain-la-Neuve, Belgium)