Author: International Static Analysis Symposium (2nd 1995 Glasgow, Scotland)