A Polyvariant Binding Time Analysis Handling Partially Known Values. - Marc Gengler; M. Rytz (WSA, 1992)