Gebreselassie Baraki: Abstract interpretation of polymorphic higher-order functions. University of Glasgow, UK 1993