ACM Transactions on Programming Languages and Systems June 1995: Vol 17, Nr 4 p 576 A Type System Equivalent to Flow Analysis by Jens Palsberg and Patrick O'Keefe