Deriving specialized heap analysis for verifying component-client conformance - Alex Warshavsky (2001)