Author: Workshop on Static Analysis (3rd 1993 Padova, Italy)