International Design Automation Workshop (4th 1994 Moscow, Russia)